Combining Real-Time Model-Checking and Fault Tree Analysis. - Andreas Schäfer 001 (FME, 2003)

A Calculus for Shapes in Time and Space. - Andreas Schäfer 001 (ICTAC, 2004)

The Timer Cascade: Functional Modelling and Real Time Calculi. - Raymond T. Boute; Andreas Schäfer 001 (ICTAC, 2005)

Specification and verification of mobile real-time systems. - Andreas Schäfer 001 (2006)

Specification and verification of mobile real-time systems. - Andreas Schäfer 001 (Ausgezeichnete Informatikdissertationen, 2006)

Spatio-temporal Model Checking for Mobile Real-Time Systems. - Jan-David Quesel; Andreas Schäfer 001 (ICTAC, 2006)

Axiomatisation and decidability of multi-dimensional Duration Calculus. - Andreas Schäfer 001 (Inf. Comput., 2007)

Conceptional Modeling and Analysis of Spatio-Temporal Processes in Biomolecular Systems. - Andreas Schäfer 001; Mathias John (APCCM, 2009)