Sharvia, Septavera, "Integrated application of compositional and behavioural safety analysis", , 2011