1. Parosh Aziz Abdulla , Johann Deneux , Gunnar Stålmarck , Herman Ågren , and Ove Åkerlund . 2006. Designing Safe , Reliable Systems Using Scade . In Leveraging Applications of Formal Methods , Tiziana Margaria and Bernhard Steffen (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 115--129. Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, and Ove Åkerlund. 2006. Designing Safe, Reliable Systems Using Scade. In Leveraging Applications of Formal Methods, Tiziana Margaria and Bernhard Steffen (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 115--129.
2. Lorenzo Bettini . 2016. Implementing domain-specific languages with Xtext and Xtend . Packt Publishing Ltd . Lorenzo Bettini. 2016. Implementing domain-specific languages with Xtext and Xtend. Packt Publishing Ltd.
3. José C. Campos and Michael D. Harrison. 2009. Interaction Engineering Using the IVY Tool . In Proceedings of the 1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems ( Pittsburgh, PA, USA) (EICS '09). Association for Computing Machinery, New York, NY, USA, 35--44. José C. Campos and Michael D. Harrison. 2009. Interaction Engineering Using the IVY Tool. In Proceedings of the 1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems (Pittsburgh, PA, USA) (EICS '09). Association for Computing Machinery, New York, NY, USA, 35--44.
4. IVY 2
5. MDSheet: A framework for model-driven spreadsheet engineering