Sirjani, Marjan. “From Dependable Timed Actor Models to Executable Code”. Center for Model-Based Cyber-Physical Product Development 21, no. 13 (July 19, 2020): 30. Accessed April 26, 2024. https://wcc.ep.liu.se/index.php/MODPROD/article/view/128.