Margaret H. Smith Gerard J. Holzmann Kousha Etessami Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs. 14-22 2001 conf/re/2001 RE http://computer.org/proceedings/re/1125/11250014abs.htm db/conf/re/re2001.html#SmithHE01