Results on Embeddings Between State-Based and Event-Based Systems. - Michel A. Reniers; Rob Schoren; Tim A. C. Willemse (Comput. J., 2014)