1. A probabilistic and timed verification approach of SysML state machine diagram
2. Adrian Beer Todor Georgiev Florian Leitner-Fischer and Stefan Leue. 2013. Model-based quantitative safety analysis of Matlab Simulink/Stateflow models. In Model-Based Development of Embedded Systems. 60--69. Adrian Beer Todor Georgiev Florian Leitner-Fischer and Stefan Leue. 2013. Model-based quantitative safety analysis of Matlab Simulink/Stateflow models. In Model-Based Development of Embedded Systems. 60--69.
3. Model-Driven Development of a Digital Twin for Injection Molding
4. Marko Čepin . 2011. Reliability block diagram . In Assessment of Power System Reliability . Springer , 119--123. Marko Čepin. 2011. Reliability block diagram. In Assessment of Power System Reliability. Springer, 119--123.
5. PL Clemens . 2002 . Event tree analysis . JE Jacobs Sverdrup , (2002). PL Clemens. 2002. Event tree analysis. JE Jacobs Sverdrup, (2002).