Transformation-Based Reactive Systems Development: 4th International Amast Workshop on Real-Time Systems and Concurrent and Dis - Miquel Bertran et Teodor Rus