Generating and analyzing symbolic traces of simulink/stateflow models (2009)

by A Kanade, R Alur, F Ivančić, S Ramesh, S Sankaranarayanan, K C Shashidhar
Venue:In CAV’09