Groothuis, Marcel, Raymond Frijns, Jeroen Voeten, and Jan Broenink. 2009. “Concurrent Design of Embedded Control Software”. Electronic Communications of the EASST 21 (November). https://doi.org/10.14279/tuj.eceasst.21.284.