Event-driven programming with logical execution times
A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer Nature, 2004, pp. 357–371.