Yuan Zhan John A. Clark The state problem for test generation in Simulink. 1941-1948 2006 conf/gecco/2006 GECCO http://doi.acm.org/10.1145/1143997.1144319 db/conf/gecco/gecco2006.html#ZhanC06