Text this: Usability of semi-formal and formal methods integration :