Kamburjan, Eduard ; Hähnle, Reiner
Artho, Cyrille ; Ölveczky, Peter Csaba (eds.) (2016):
Uniform Modeling of Railway Operations.
In: Communications in Computer and Information Science, 694, pp. 55-71, Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers, DOI: 10.1007/978-3-319-53946-1₄,
[Conference or Workshop Item]