Transformation-Based Reactive Systems Development 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings - Bertran, Miquel; Bertran, Miquel; Rus, Teodor; Rus, Teodor (Springer Berlin Heidelberg : Imprint: Springer, 1997)