An Experience in Embedded Control Software Verification.

Pierluigi Rolando, Riccardo Sisto

Browse the full ETFA paper archive.