Book

Verification and Validation of Real-Time Software

by William J. Quirk