[https://www-soc.lip6.fr/trac/ttool-ams/chrome/site/rapido.pdf RAPIDO 2019 workshop] [https://www-soc.lip6.fr/trac/ttool-ams/chrome/site/recocyps2019.pdf ReCoCyps 2019 workshop] [https://www-soc.lip6.fr/trac/ttool-ams/chrome/site/modelsward2019.pdf Modelsward 2019 article] [https://www-soc.lip6.fr/trac/ttool-ams/chrome/site/modelsward2020.pdf Modelsward 2020 article]