&. [. Raffaelli and . Rouah, Model-Based Testing and Test Automation applied to Advanced Driver Assistance Systems Validation, 2014.