Automatic verification methods for finite state systems : Konf. International Workshop, Grenoble, France, 12.- 14. juna. 1989 - Sifakis, J (Springer Verlag, 1990)