Sirjani, M. (2020) “From Dependable Timed Actor Models to executable Code”, Center for Model-Based Cyber-Physical Product Development, 21(13), p. 30. Available at: https://wcc.ep.liu.se/index.php/MODPROD/article/view/128 (Accessed: 3 July 2024).