Formal modeling and analysis of railway operations with active objects. - Eduard Kamburjan; Reiner Hähnle; Sebastian Schön (Sci. Comput. Program., 2018)