Philipp Helle. Automatic SysML-based safety analysis. In Iulian Ober, editor, Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB@MoDELS 2012, Innsbruck, Austria, September 30, 2012. pages 19-24, ACM, 2012. [doi]
Abstract is missing.