A State Machine Analysis Support System Based on the Problem Frames | IEEE Conference Publication | IEEE Xplore