M. Groothuis, R. Frijns, J. Voeten, and J. Broenink, “Concurrent Design of Embedded Control Software”, eceasst, vol. 21, Nov. 2009.