Process and tool support for design patterns with safety requirements. - Ansgar Radermacher; Brahim Hamid; Manel Fredj; Jean-Louis Profizi (EuroPLoP, 2013)