Probably, we should have separate functions for the following: read inputs, init state, update timers, one per uncontrollable event, one per controllable event, write outputs). This gives a good balance between not too much code (and temporary variables) per function, while also not too many functions. See also discussions in #912. Addresses #912, #679