Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process. - Marco Bakera; Tiziana Margaria; Clemens D. Renner; Bernhard Steffen (ISoLA, 2007)

Solving µ-Calculus Parity Games by Symbolic Planning. - Marco Bakera; Stefan Edelkamp; Peter Kissmann; Clemens D. Renner (MoChArt, 2008)

Tool-supported enhancement of diagnosis in model-driven verification. - Marco Bakera; Tiziana Margaria; Clemens D. Renner; Bernhard Steffen (Innov. Syst. Softw. Eng., 2009)

Game-Based Model Checking for Reliable Autonomy in Space. - Marco Bakera; Tiziana Margaria; Clemens D. Renner; Bernhard Steffen (J. Aerosp. Comput. Inf. Commun., 2011)