Regression Testing of Distributed Real-Time Embedded Systems in the Context of Model-Driven Development