Joanne M. Atlee Michael A. Buckley A Logic-Model Semantics for SCR Software Requirements. 280-292 1996 conf/issta/1996 ISSTA https://doi.org/10.1145/229000.226326 https://doi.org/10.1145/226295.226326 db/conf/issta/issta96.html#AtleeB96