Symbolic analysis for improving simulation coverage of Simulink/Stateflow models (2008)

by R Alur, A Kanade, S Ramesh, K C Shashidhar
Venue:In Embedded Software