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