Optimal model checking of safe control embedded software components | IEEE Conference Publication | IEEE Xplore