VrFy: Verification of Formal Requirements using Generic Traces | IEEE Conference Publication | IEEE Xplore