Derek J. Hatley Libri

A casebook and practical reference for modeling the requirements and architecture of real-time and general systems.