[1]
M. Sirjani, “From Dependable Timed Actor Models to executable Code”, MODPROD, vol. 21, no. 13, p. 30, Jul. 2020.