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