3 books in this genre
Real-time systems
Salah M. Badr
Prototyping hard real-time Ada systems in a classroom environment
Luqi
An initial model of requirements traceability
B. Ramesh
