Roel Wieringa Eric Dubois Sander Huyts Integrating Semi-formal and Formal Requirements. 19-32 1997 conf/caise/1997 CAiSE db/conf/caise/caise97.html#WieringaDH97 http://dx.doi.org/10.1007/3-540-63107-0_2