Sirjani, M. From Dependable Timed Actor Models to Executable Code. MODPROD 2020, 21, 30.