1. Anish Arora and Sandeep Kulkarni. Detectors and correctors: A theory of fault-tolerance components. IEEE Transactions on Software Engineering, 1999.
2. Max Breitling. Modellierung und Beschreibung von Soll-/Ist-Abweichungen. In Katharina Spies and Bernhard Schätz, editors, Formale Beschreibungstechniken für verteilte Systeme. FBT’99, pages 35–44. Herbert Utz Verlag, 1999.
3. Lect Notes Comput Sci;M. Breitling,2000
4. Max Breitling and Jan Philipps. Verification Diagrams for Dataflow Properties. Technical Report TUM-I0005, Technische Universität München, 2000.
5. Manfred Broy and Ketil Stolen. Specification and Development of Interactive Systems-FOCUS on Streams, Interfaces and Refinement. Springer, 2000. To appear.