Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu. Component-Based Modeling and Code Synthesis for Cyclic Programs. In 37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013. pages 569-578, IEEE Computer Society, 2013. [doi]
Abstract is missing.