Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ...

Miquel Bertran , Juris Hartmanis , Miguel Bertran