Translating a large subset of stateflow to hybrid CSP with code optimization. - Panhua Guo; Bohua Zhan; Xiong Xu; Shuling Wang; Wenhui Sun (J. Syst. Archit., 2022)