(1)
Bodentien, N. O.; Vestergaard, J.; Friis, J.; Kristoffersen, K. J.; Petersen, K. G. Verification of State/Event Systems by Quotienting. BRICS 1999, 6.