Verification and Validation of Real-Time Software - William J. Quirk - E-bok | Bokus