// Description of a 2Hz oscillator in 2Iota.

event Begin,
	causes Oscillator goes High;

event Oscillator goes High,
	causes Oscillator goes Low
	  after 0.5 s;

event Oscillator goes Low,
	causes Oscillator goes High
	  after 0.5 s.