Hooman, J., "Specification and Compositional Verification of Real-Time Systems", PhD Thesis, Eindhoven, the Netherlands, 1991.
author author title title title title title title title tech tech location location location date