Safety Critical Systems Formal Verification Using Execution Traces | IEEE Conference Publication | IEEE Xplore