Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems | IEEE Conference Publication | IEEE Xplore