J. Sifakis

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12-14, 1989