References.md

@@ -11,6 +11,12 @@
 
 * [Adt2Upp](https://github.com/utwente-fmt/Adt2Upp): Old version of `attop`.
 
+## Model-Based Development
+
+- Rodrigues da Silva, “Model-Driven Engineering: A Survey Supported by the Unified Conceptual Model.”
+
+- [Eclipse Modeling Project](http://www.eclipse.org/modeling/)
+
 # Papers
 
 - Kordy, B., S. Mauw, S. Radomirovic, and P. Schweitzer. “Attack-Defense Trees.” Journal of Logic and Computation 24, no. 1 (February 1, 2014): 55–87. https://doi.org/10.1093/logcom/exs029.
@@ -19,7 +25,5 @@
 
 - Kumar, Rajesh, Stefano Schivo, Enno Ruijters, Buǧra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, and Mariëlle Stoelinga. “Effective Analysis of Attack Trees: A Model-Driven Approach.” In Fundamental Approaches to Software Engineering, edited by Alessandra Russo and Andy Schürr, 10802:56–73. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-89363-1_4.
 
-- Rodrigues da Silva, “Model-Driven Engineering: A Survey Supported by the Unified Conceptual Model.”
-
 - Wolters, Niels. Quantitative analysis of attack trees with timed automata. Master Thesis. https://fmt.ewi.utwente.nl/media/194_attachment_1.pdf