Model-Based Dependability Analysis of Unmanned Aerial Vehicles - A Case Study. - Matheus Lopes Franco; Kalinka R. J. L. Branco; Rosana T. V. Braga; André Luíz de Oliveira; Catherine Dezan; Jean-Philippe Diguet (DSN Workshops, 2018)