Liyuan Zhang, Michael Glaß, Nils Ballmann, Jürgen Teich: Bridging algorithm and ESL design: Matlab/Simulink model transformation and validation. FDL 2013: 1-8