Groothuis, M.; Frijns, R.; Voeten, J.; Broenink, J. Concurrent Design of Embedded Control Software. eceasst 2009, 21.