3 libri in questo genere
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