Formal modeling and analysis of railway operations with active objects

Published in SCP, 2018

Recommended citation: Eduard Kamburjan, Reiner Hähnle, Sebastian Schön. (2018). Sci. Comput. Program.. Vol 166, Elsevier.