Assertional specification and verification (1996)

by J Hooman
Venue:Real-time Systems: Specification, Verification and Analysis, chapter 5