Phase Locking in Coupled Oscillators as Hybrid Automata by Alan Calvitti