Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings - Sifakis, J. (Joseph), 1946- (Lecture notes in computer science, 1990)