Cooperability in Train Control Systems: Specification of Scenarios using Open Nets - Julia Padberg and L. Jansen and Hartmut Ehrig and Eckehard Schnieder and Reiko Heckel (Journal of integrated design & process science : official journal of the Society for Design and Process Science, 2001)