Meng Li, Ratnesh Kumar. Stateflow to Extended Finite Automata Translation. In Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC Workshops 2011, Munich, Germany, 18-22 July 2011. pages 1-6, IEEE Computer Society, 2011. [doi]
Abstract is missing.