This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and...

A practical introduction to this model-based formal method, containing a broad range of illustrative examples. von Abrial, Jean-Raymond