A. Ferrari, G. Spagnolo, A. Fiscella, und G. Parente. From Software Engineering to Formal Methods and Tools, and Back, Volume 11865 von Lecture Notes in Computer Science, Seite 267-281. Springer, (2019)
K. Mekkaoui, A. Rahmoun, und G. Ferrari. CIIA, Volume 456 von IFIP Advances in Information and Communication Technology, Seite 503-511. Springer, (2015)