Sirjani, M. “From Dependable Timed Actor Models to Executable Code”. Center for Model-Based Cyber-Physical Product Development, vol. 21, no. 13, July 2020, p. 30, https://wcc.ep.liu.se/index.php/MODPROD/article/view/128.