"Verification of Liveness Properties Using Compositional Reachability Analysis."

Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics