Ralf Buschermöhle Mark Brörkens Ingo Brückner Werner Damm Wilhelm Hasselbring Bernhard Josko Christoph Schulte Thomas Wolf Model Checking (Grundlagen und Praxiserfahrungen). 146-158 2004 27 Informatik Spektrum 2 http://dx.doi.org/10.1007/s00287-004-0381-1 db/journals/insk/insk27.html#BuschermohleBBDHJSW04