Bodentien, N. O., Vestergaard, J., Friis, J., Kristoffersen, K. J. and Petersen, K. G. (1999) “Verification of State/Event Systems by Quotienting”, BRICS Report Series, 6(41). doi: 10.7146/brics.v6i41.20111.