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 (Dec. 1999). DOI:https://doi.org/10.7146/brics.v6i41.20111.