SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive.