Philipp Helle: Automatic SysML-based safety analysis. ACES-MB@MoDELS 2012: 19-24