Ralf Buschermöhle, Mark Brörkens, Ingo Brückner, Werner Damm, Wilhelm Hasselbring, Bernhard Josko, Christoph Schulte, Thomas Wolf. Model Checking (Grundlagen und Praxiserfahrungen). Informatik Spektrum, 27(2):146-158, 2004. [doi]
Abstract is missing.