Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX. - Richard Banach; Joe Razavi; Suzanne Lesecq; Olivier Debicki; Nicolas Mareau; Julie Foucault; Marc Correvon; Gabriela Dudnik (CSDM, 2018)