Cooperability in Train Control Systems: Specification of Scenarios using Open Nets
J. Padberg, L. Jansen, H. Ehrig, E. Schnieder, R. Heckel, Transactions of the Society for Design and Process Science 5 (2001) 3–21.