Specification of Software Systems Hardcover V. S., Periyasamy, K.

The Temporal Logic of Reactive and Concurrent Systems: Specification

Specification of Software Systems - 9780857292766

Specification and Design of Concurrent Systems (McGraw-Hill Inte

Software Specification: A Comparison of Formal Methods... - Zelkowitz, Martin

Black-Box Testing: Techniques for Functional Testing of Software and Systems by

Design, Specification and Verification of Interactive Systems '95: Proceedings o

Embedded Software Timing by Peter Gliwa.