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