Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata | IEEE Conference Publication | IEEE Xplore