TY  - BOOK
AU  - 28
TI  - Verification and validation of real-time software
SN  - 0387151028 (U.S.)
U1  - 005.1 QUI 19
N1  - Bibliography: p. [209]-231
ER  -