Chocolat/SMV: A Translator from CafeOBJ into SMV | IEEE Conference Publication | IEEE Xplore