R. Mittermayr, J. Blieberger, and A. Schöbel, “Kronecker Algebra-based Deadlock Analysis for Railway Systems”, Promet, vol. 24, no. 5, pp. 359-369, 1.