?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Tran+Dinh%2C+Duong&rft.aulast=Tran+Dinh&rft.aufirst=Duong&rft.issn=2169-3536&rft.atitle=Simulation-based+invariant+verification+technique+for+the+OTS%2FCafeOBJ+method&rft.title=IEEE+Access&rft.genre=article