Structured Development for Real-Time Systems by Paul T. Ward (1985, Paperback)

This book is volume one, I know volume two & three is part of book collection which I currently have for sale at ebay (all three together under volume two). Historia phase, scope, environment, vocabulary, real-time systems, modeling data, rigor of representation and more located inside book.

Mismatches between approach and historia phase page 5, simplicity versus adequacy page 17, specifying control transformations page 64, building procedural specifications using a high-level language page 82, schematic execution of a transformation schema page 100, notation for specifying meaning page 126, numbering conventions for a leveled set page 140 and more.

156 pages, authors Paul T. Ward & Stephen J. Mellor, this book is introduction & tools for beginner or advanced study. I rated book 5*****, very comprehensive study and literature.