Formal verification of Simulink/Stateflow diagrams (2015)

by L Zou, N Zhan, S Wang, M Fränzle
Venue:In ATVA’15, volume 9346 of LNCS