Sirjani,, M. 2020. From Dependable Timed Actor Models to executable Code. Center for Model-Based Cyber-Physical Product Development. 21, 13 (Jul. 2020), 30.