A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures. - Julien Brunel; David Chemouil; Laurent Rioux; Mohamed Bakkali; Frédérique Vallée (MoDeVVa@MoDELS, 2014)