Thread:Talk:Problem Frames Work as a Bridge from Informal Requirements to Formal Models/Update required

some update required on the Problem-frame to Event-B part