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