Imtiaz A. Pirbhai Book order (chronological)

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