Formal Safety and Security Assessment of an Avionic Architecture with Alloy. - Julien Brunel; Laurent Rioux; Stéphane Paul; Anthony Faucogney; Frédérique Vallée (ESSS, 2014)