Graf, Prinz, 2005. Time in State Machines, in: .