Requirement classification of dependable real-time systems / Josef M. Trojer. 2007
Inhalt