Groothuis, M. (2009) “Concurrent Design of Embedded Control Software”, Electronic Communications of the EASST, 21. doi: 10.14279/tuj.eceasst.21.284.