?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Vu%2C+Dieu+Huong&rft.aulast=Vu&rft.aufirst=Dieu+Huong&rft.issue=6&rft.volume=E98-D&rft.date=2015&rft.issn=1745-1361&rft.atitle=A+Framework+for+Verifying+the+Conformance+of+Design+to+Its+Formal+Specifications&rft.title=IEICE+Transactions+on+Information+and+Systems&rft.pages=1137-1149&rft.genre=article