Issues with object orientation in verifying safety-critical systems | IEEE Conference Publication | IEEE Xplore