Mittermayr, Robert, Johann Blieberger, and Andreas Schöbel. 2012. “Kronecker Algebra-Based Deadlock Analysis for Railway Systems”. Promet - Traffic&Transportation 24 (5):359-69. https://doi.org/10.7307/ptt.v24i5.1171.