Modeling Railway Control Systems Using Graph Grammars: A Case Study

A. A. Holzbacher, M. Périn, Mario Südholt. Modeling Railway Control Systems Using Graph Grammars: A Case Study. In David Garlan, Daniel Le Métayer, editors, Coordination Languages and Models, Second International Conference, COORDINATION 97, Berlin, Germany, September 1-3, 1997, Proceedings. Volume 1282 of Lecture Notes in Computer Science, pages 172-186, Springer, 1997.