Tran Dinh, Duong and Bui Duy, Dang and Ogata, Kazuhiro   Simulation-based invariant verification technique for the OTS/CafeOBJ method.  IEEE Access .    ISSN 2169-3536