Formale Modelle der Softwareentwicklung Model-Checking, Verifikation, Analyse und Simulation - Kleuker, Stephan 1967- (Vieweg + Teubner, 2009)