Sirjani, M. (2020). From Dependable Timed Actor Models to executable Code. Center for Model-Based Cyber-Physical Product Development, 21(13), 30. Retrieved from https://wcc.ep.liu.se/index.php/MODPROD/article/view/128