R. Nicola, T. Duong, O. Inverso, and F. Mazzanti. From Software Engineering to Formal Methods and Tools, and Back, volume 11865 of Lecture Notes in Computer Science, page 377-396. Springer, (2019)
R. Nicola, T. Duong, O. Inverso, and F. Mazzanti. ModelEd, TestEd, TrustEd, volume 10500 of Lecture Notes in Computer Science, page 169-190. Springer, (2017)