Specification and Stepwise Development of Communicating Systems. - Stephan Rössig; Michael Schenke (VDM Europe (1), 1991)

Predicative Specification of Timed Processes. - Michael Schenke (REX Workshop, 1991)

A Timed Specification Language for Concurrent Reactive Systems. - Michael Schenke (Semantics of Specification Languages, 1993)

Provably Correct Systems. - Jifeng He 001; C. A. R. Hoare; Martin Fränzle; Markus Müller-Olm; Ernst-Rüdiger Olderog; Michael Schenke; Michael R. Hansen; Anders P. Ravn; Hans Rischel (FTRTFT, 1994)

Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency. - Michael Schenke (FTRTFT, 1994)

Refinement from a Control Problem to Programs. - Michael Schenke; Anders P. Ravn (Formal Methods for Industrial Applications, 1995)

Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications. - Ernst-Rüdiger Olderog; Michael Schenke (STRICT, 1995)

A Unifying Framework for Correct Program Construction. - Henning Dierks; Michael Schenke (MPC, 1998)

Provably Correct Hardware Compilation using Timing Diagrams. - Michael Schenke; Michael Dossis (FORTE, 1999)

Transformational Design of Real-Time Systems. Part II: From Program Specifications to Programs. - Michael Schenke (Acta Informatica, 1999)

Transformational Design of Real-Time Systems Part I: From Requirements to Program Specifications. - Michael Schenke; Ernst-Rüdiger Olderog (Acta Informatica, 1999)