1. Ackermann, C., Cleaveland, R., Huang, S., Ray, A., Shelton, C., Latronico, E.: Automatic requirement extraction from test cases. In: Barringer, H., et al. (eds.) Runtime Verification, pp. 1–15. Springer, Berlin, Heidelberg (2010)
2. Agrawal, R., Srikant, R.: Mining sequential patterns. In: Proceedings of the Eleventh International Conference on Data Engineering. pp. 3–14. IEEE Computer Society, Washington, DC, USA (1995)
3. Ahlswede, R., Cai, N.: Incomparability and intersection properties of boolean interval lattices and chain posets. Eur. J. Comb. 17(8), 677–687 (1996). https://doi.org/10.1006/eujc.1996.0059
4. Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM (JACM) 43(1), 116–146 (1996)
5. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)