1. Barrett, C., Stump, A., Tinelli, C., et al.: The SMT-lib standard: version 2.0. In: Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (Edinburgh, UK), vol. 13, p. 14 (2010)
2. Broy, M., Stølen, K.: Specification and Development of Interactive Systems. Focus on Streams, Interfaces and Refinement. Springer, Heidelberg (2001). https://doi.org/10.1007/978-1-4613-0091-5
3. Lecture Notes in Computer Science;L de Moura,2008
4. Haber, A.: MontiArc - Architectural Modeling and Simulation of Interactive Distributed Systems. Aachener Informatik-Berichte, Software Engineering, Band 24, Shaker Verlag (2016)
5. Harel, D., Rumpe, B.: Meaningful modeling: what’s the semantics of “semantics’’? IEEE Comput. J. 37(10), 64–72 (2004)