A State Machine Analysis Support System Based on the Problem Frames. - Osamu Shigo; Kaoru Yokoyama (APSEC, 2011)