Experiences from Large-Scale Model Checking: Verifying a Vehicle Control System with NuSMV | IEEE Conference Publication | IEEE Xplore