Verification and Validation of Real-Time Software | lit.salon