Verifying temporal properties of systems. - Birkhäuser Verlag, 1992. - ( Progress in Theoretical Computer Science ).