Experiences Using Lightweight Formal Methods for Requirements Modeling. - Steve M. Easterbrook; Robyn R. Lutz; Richard Covington; John Kelly; Yoko Ampo; David Hamilton (IEEE Trans. Software Eng., 1998)