Orlando Ferrante, Luigi Di Guglielmo, Valerio Senni, Alberto Ferrari: Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems. IMBSA 2017: 243-254