Steve M. Easterbrook Robyn R. Lutz Richard Covington John Kelly Yoko Ampo David Hamilton Experiences Using Lightweight Formal Methods for Requirements Modeling. 4-14 http://doi.ieeecomputersociety.org/10.1109/32.663994 1998 24 IEEE Trans. Software Eng. 1 db/journals/tse/tse24.html#EasterbrookLCKAH98