Book

Strategies for real-time system specification

by Derek J. Hatley