Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications.

Haitao Zhang, Toshiaki Aoki, Yuki Chiba

Browse the full ICST paper archive.