Modeling and Validating Distributed Embedded Real-Time Control Systems door