Clone Detection in Matlab Stateflow Models