Combining PVSio with Stateflow. - Paolo Masci 001; Yi Zhang 051; Paul L. Jones; Patrick Oladimeji; Enrico D'Urso; Cinzia Bernardeschi; Paul Curzon; Harold Thimbleby (NASA Formal Methods, 2014)