Hermann Kopetz, Neeraj Suri. On the Limits of the Precise Specification of Component Interfaces. In 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003 Fall), 1-3 October 2003, Anacapri (Capri Island), Italy. pages 26-27, IEEE Computer Society, 2003. [doi]
Abstract is missing.