We propose a method tailored to the requirements of safety-critical embedded automotive software, named CTMCONTROL. CTMCONTROL has a particular focus on the specification-based control logic of the system under test and ...