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)