MITTERMAYR, R.; BLIEBERGER, J.; SCHÖBEL, A. Kronecker Algebra-based Deadlock Analysis for Railway Systems. Promet - Traffic&Transportation, v. 24, n. 5, p. 359-369, 11.