Theorem Prover Support for the Refinement of Stream Processing Functions. - Robert Sandner; Olaf Müller (TACAS, 1997)

From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT. - Ingolf Krüger; Wolfgang Prenninger; Robert Sandner; Manfred Broy (Int. J. Softw. Eng. Knowl. Eng., 2002)

Development of Hierarchical Broadcasting Software Architectures Using UML 2.0. - Ingolf Krüger; Wolfgang Prenninger; Robert Sandner; Manfred Broy (SoftSpez Final Report, 2004)

Broadcast MSCs. - Ingolf Krüger; Wolfgang Prenninger; Robert Sandner (Formal Aspects Comput., 2004)

Das AutoMoDe-Projekt. - Andreas Bauer 002; Manfred Broy; Jan Romberg; Bernhard Schätz; Peter Braun 003; Ulrich Freund; Núria Mata; Robert Sandner; Pierre Mai; Dirk Ziegenbein (Inform. Forsch. Entwickl., 2007)