A Logic for the Formal Requirements Specification of Real-Time Embedded Systems. Alvey Forest Project Deliverable R3 (1987)

by T Maibaum