@misc{indiciae3b2353e04efb, title = {Folk Theorems on the Correspondence between State-Based and Event-Based Systems}, author = {M. A. Reniers and T. A. C. Willemse}, year = {2010}, doi = {10.1007/978-3-642-18381-2\_41}, url = {https://arxiv.org/abs/1011.0136}, note = {Source identifier: 1011.0136} }