@article{SisLab1473,
          volume = {E98-D},
          number = {6},
          author = {Dieu Huong Vu and Yuki Chiba and Kenro Yatake and Toshiaki Aoki},
           title = {A Framework for Verifying the Conformance of Design to Its Formal Specifications},
       publisher = {IEICE},
         journal = {IEICE Transactions on Information and Systems},
           pages = {1137--1149},
            year = {2015},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1473/}
}