You are about to access our book library "Model-based Testing of Real-Time Embedded Systems in the Automotive Domain full version" .