RESETting timed machines - Stulman, Ariel (Array, 2011)