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