Minj, Basanti (2014) Generation and prioritization of test casesusing Simulink/Stateflow models. MTech thesis.