Gabriel A. Wainer: Devs modelling and simulation for development of embedded systems. WSC 2015: 73-87