3 libros en este género
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