Ernst-Rüdiger Olderog
-
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering