Symmetry and Model Checking (1994)

by E. Allen Emerson, A. Prasad Sistla, Hermann Weyl