Masahiro Nakano Kazuhiro Ogata Masaki Nakamura Kokichi Futatsugi Automating Invariant Verification of Behavioral Specifications. 49-56 2006 conf/qsic/2006 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2006.17 db/conf/qsic/qsic2006.html#NakanoONF06