Nannan He Philipp Rümmer Daniel Kroening Test-case generation for embedded simulink via formal concept analysis. 224-229 2011 DAC https://doi.org/10.1145/2024724.2024777 conf/dac/2011 db/conf/dac/dac2011.html#HeRK11