Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach