1 “... in the field of formal methods for real-time systems and distributed and concurrent systems are addressed...”

2 Table of Contents: “... concurrent systems using Z -- A critical look at functional specifications -- Informal strategies in design...”