Chikatoshi Yamada, D. Michael Miller. Using SPIN to Check Nondeterministic Simulink Stateflow Models. In 2015 IEEE International Symposium on Multiple-Valued Logic, Waterloo, ON, Canada, May 18-20, 2015. pages 145-151, IEEE, 2015. [doi]
Abstract is missing.