11. ZUM 1998:
: Industrial Requirements for the Efficient Development of Reliable Embedded Systems.
Safety-Critical and Real-Time Systems
Nancy G. Leveson
: Designing a Requirements Specification Language for Reactive Systems.
: Innovations in the Notation of Standard Z.
Reasoning and Consistency Issues
Richard F. Paige
: Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space.
Jonathan P. Bowen
: Comp.specification.z and Z FORUM Frequently Asked Questions.