1. Alexander Diewald, S.V., Barner, S.: A Lightweight Design Space Exploration and Optimization Language, p. 4503. ACM, New York (2015). https://doi.org/10.1145/1235
2. Aravantinos, V., Voss, S., Teufl, S., Hölzl, F., Schätz, B.: AutoFOCUS 3: tooling concepts for seamless, model-based development of embedded systems. In: CEUR Workshop Proceedings, vol. 1508, pp. 19–26 (2015)
3. Bajaj, N., Nuzzo, P., Masin, M., Sangiovanni-Vincentelli, A.: Optimized selection of reliable and cost-effective cyber-physical system architectures. In: Design, Automation and Test in Europe Conference and Exhibition (DATE), 2015, pp. 561–566 (2015). https://doi.org/10.7873/DATE.2015.0913.
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7092450
4. Barner, S., Chauvel, F., Diewald, A., Eizaguirre, F., Haugen, Ø., Migge, J., Vasilevskiy, A.: Modeling and Development Process, p. 76. CRC Press, Boca Raton (2018). https://doi.org/10.1201/9781351117821-9
5. 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, England), vol. 13, p. 14 (2010)