Osamu Shigo, Kaoru Yokoyama. A State Machine Analysis Support System Based on the Problem Frames. In Tran Dan Thu, Karl R. P. H. Leung, editors, 2011 18th Asia Pacific Software Engineering Conference, Ho Chi Minh, Vietnam, December 5-8, 2011. pages 373-380, IEEE, 2011. [doi]
Abstract is missing.