Verification of reactive systems : formal methods and algorithms - Schneider, Klaus, 1967- (Springer, 2004)