A Steam-Boiler Control Specification with Statecharts and Z. - Robert Büssow; Matthias Weber 001 (Formal Methods for Industrial Applications, 1995)

Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems. - Robert Büssow; Wolfgang Grieskamp (ASIAN, 1997)

Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. - Robert Büssow; Robert Geisler; Marcus Klar (FASE, 1998)

An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools. - Robert Büssow; Wolfgang Grieskamp; Winfried Heicking; Stephan Herrmann 001 (FM-Trends, 1998)

Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques. - Herbert Weber; Marcus Klar; Stefan Mann; Ralf-Detlef Kutsche; Stefan Jähnichen; Robert Büssow; Hartmut Ehrig; Robert Geisler; Gabriel Baum; Claudia Pons; Miguel Felder; Sergio Waldoke (German-Argentinian Workshop on Information Technology, 1999)

A Modular Framework for the Integration of Heterogeneous Notations and Tools. - Robert Büssow; Wolfgang Grieskamp (IFM, 1999)

Model checking combined Z and statechart specifications. - Robert Büssow (2003)

Processing a Trillion Cells per Mouse Click. - Alexander Hall; Olaf Bachmann; Robert Büssow; Silviu Ganceanu; Marc Nunkesser (Proc. VLDB Endow., 2012)