To model check or not to model check | IEEE Conference Publication | IEEE Xplore