Mittermayr, R.; Blieberger, J.; Schöbel, A. Kronecker Algebra-Based Deadlock Analysis for Railway Systems. PROMTT 2012, 24, 359-369.