Sharma, Ravikant (2015) Finding Dependency, Test Sequences and Test Cases for Simulink/Stateflow Models. MTech thesis.
