Ulka Shrotri Purandar Bhaduri R. Venkatesh Model Checking Visual Specification of Requirements. 202-209 2003 conf/sefm/2003 SEFM http://csdl.computer.org/comp/proceedings/sefm/2003/1949/00/19490202abs.htm db/conf/sefm/sefm2003.html#ShrotriBV03