Kauffman, S., Havelund, K., Joshi, R., & Fischmeister, S. (2018). Inferring Event Stream Abstractions Formal Methods in System Design, 29. https://doi.org/10.1007/s10703-018-0317-z