Precise And Usable Requirements Through An Interactive Model-Based Approach