Tool-Supported Dependability Analysis of Semi-Markov Processes with Application to Autonomous Driving. - Stefan Kaalen; Mattias Nyberg; Carl Bondesson (ICSRS, 2019)

Improved Pattern for ISO 26262 ASIL Decomposition with Dependent Requirements. - Christian Lidström; Carl Bondesson; Mattias Nyberg; Jonas Westman (QRS Companion, 2019)