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

Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems. - Stefan Kaalen; Mattias Nyberg (IMBSA, 2020)

Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow. - Stefan Kaalen; Mattias Nyberg; Olle Mattsson (QEST, 2021)

A Stochastic Extension of Stateflow. - Stefan Kaalen; Anton Hampus; Mattias Nyberg; Olle Mattsson (ICPE, 2022)