Main authors:
- Jan-Derk Bakker (J.D.Bakker@its.tudelft.nl)
- Erik Mouw (J.A.K.Mouw@its.tudelft.nl)

Clock switching code:
- Johan Pouwelse (pouwelse@twi.tudelft.nl)
