Can American Checkers be Solved by Means of Symbolic Model Checking? - Michael Baldamus; Klaus Schneider 001; Michael Wenz; Roberto Ziller (FM-Everywhere@FORTE/PSTV, 2000)

System Modeling Using Marker States in the RW-Framework. - Roberto Ziller (MBMV (1), 2001)

Finding Bad States during Symbolic Supervisor Synthesis. - Roberto Ziller (MBMV, 2002)

A μ-Calculus Approach to Supervisor Synthesis. - Roberto Ziller; Klaus Schneider 001 (MBMV, 2003)

A Generalised Approach to Supervisor Synthesis. - Roberto Ziller; Klaus Schneider 001 (MEMOCODE, 2003)

An Application of Generalized Supervisor Synthesis to the Control of a Call Center. - Roberto Ziller (FDL, 2005)

Combining supervisor synthesis and model checking. - Roberto Ziller; Klaus Schneider 001 (ACM Trans. Embed. Comput. Syst., 2005)

Eine Verallgemeinerung der Überwachersynthese mit Hilfe des μ-Kalküls. - Roberto Ziller (2005)