FLA2FT: Automatic Generation of Fault Tree from ConcertoFLA Results. - Zulqarnain Haider; Barbara Gallina; Enrique Zornoza Moreno (ICSRS, 2018)