?url_ver=Z39.88-2004&rft_id=10.1504%2FIJES.2018.095754&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Mohd+Anuaruddin+Bin&rft.aulast=Ahmadon&rft.au=Ahmadon%2C+Mohd+Anuaruddin+Bin&rft.title=International+Journal+of+Embedded+Systems&rft.date=2018&rft.volume=10&rft.issn=17411068&rft.pages=503+%E2%80%93+517&rft.issue=6&rft.atitle=Petri+net-based+verification+of+security+protocol+implementation+in+software+evolution&rft.genre=article