Machine-Checked Executable Semantics of Stateflow. - Shicheng Yi; Shuling Wang 003; Bohua Zhan; Naijun Zhan (ICFEM, 2022)