DE: event propagation with a concept of simultaneity. SM: finite-depth nested tasks (state machines) as C macros. Combination might prove useful. There were some problems, but I forgot what exactly. Something to do with the need to schedule an update "at the next time instance", i.e. queing side-effecting actions based on pure computations.