thesis figure / a calvitti "phase locking in coupled oscillators as timed automata" 2004