References.md

@@ -5,6 +5,11 @@
 * [AttackTree+](https://www.isograph.com/software/attacktree/)
 * [SeaMonster](https://sourceforge.net/projects/seamonster/)
 
+# Translators
+
+* [attop](https://github.com/utwente-fmt/attop): Attack tree  translator and Analyzer
+* [Adt2Upp](https://github.com/utwente-fmt/Adt2Upp): Attack tree convertor from ADTool to UPPAAL.
+
 # 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.