Automated behavior modeling for verifying safety-relevant modules | IEEE Conference Publication | IEEE Xplore