Integration of Safety Verification with Conformance Testing in Real-Time Reactive System | IEEE Conference Publication | IEEE Xplore