Model-based Reliability And Safety Analysis, Fosters Agility In Design Of Mission-Critical Systems. - Carmelo Tommasi; Nerijus Jankevicius; Andrius Armonas (CIISE, 2017)