1. Modeling in Event-B - System and Software Engineering;Abrial,2010
2. Formod Prototype;IMT Atlantique,2020
3. Models@run.time: a guided tour of the state of the art and research challenges;Bencomo;Softw. Syst. Model.,2019
4. Pharo by Example;Black,2010
5. Code-first model-driven engineering: on the agile adoption of MDE tooling;Boronat,2019