Specification and Compositional Verification of Real-Time Systems Hooman Jozef Heftet / 1991 / Engelsk
