Formal Modeling of Distributed Architectures with FreeSpec: A Cloud-Based MTD Use Case. - Hugo Forraz; Shems Petremand; Claire Soyez-Martin; David Nowak; Gilles Grimaud (CSCS, 2025)