Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models

Mikulcak, MarcusGöthel, ThomasHerber, PaulaGlesner, SabineMayr, Heinrich C.Pinzger, Martin2017-06-212017-06-212016978-3-88579-653-4enTowards Identifying Spurious Paths in Combined Simulink/Stateflow ModelsText/Conference Paper1617-5468