Model-Based Verification of Automotive Control Software.

Rance Cleaveland

Browse the full FMICS paper archive.