Groothuis, Marcel, et al. “Concurrent Design of Embedded Control Software”. Electronic Communications of the EASST, vol. 21, Nov. 2009, doi:10.14279/tuj.eceasst.21.284.