Book

Verification and validation of real-time software

by William J. Quirk