1. Nour Ali, Sean Baker, Ross O'Crowley, Sebastian Herold, and Jim Buckley. 2018. Architecture consistency: State of the practice, challenges and requirements. Empirical Software Engineering 23, 1 (2018), 224--258.
2. Pablo Oliveira Antonino, Jasmin Jahic, Benno Kallweit, Andreas Morgenstern, and Thomas Kuhn. 2018. Bridging the Gap between Architecture Specifications and Simulation Models. In 2018 IEEE International Conference on Software Architecture Companion (ICSA-C). IEEE, 77--80.
3. Alonzo Church. 1962. Logic, arithmetic and automata. In Proceedings of the international congress of mathematicians, Vol. 1962. 23--35.
4. Rüdiger Ehlers and Vasumathi Raman. 2016. Slugs: Extensible gr (1) synthesis. In International Conference on Computer Aided Verification. Springer, 333--339.
5. Eclipse Foundation. 2006. LANGUAGE ENGINEERING FOR EVERYONE! (2006). https://www.eclipse.org/Xtext/