Sorokos, Ioannis, "Generation of model-based safety arguments from automatically allocated safety integrity levels", , 2017