M. Sirjani, „From Dependable Timed Actor Models to executable Code“, MODPROD, Bd. 21, Nr. 13, S. 30, Juli 2020.