@article{scholars20385,
           title = {Petri net-based verification of security protocol implementation in software evolution},
         journal = {International Journal of Embedded Systems},
          number = {6},
       publisher = {Inderscience Publishers},
            note = {Cited by: 7},
            year = {2018},
             doi = {10.1504/IJES.2018.095754},
          volume = {10},
           pages = {503 - 517},
             url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85055805993&doi=10.1504\%2fIJES.2018.095754&partnerID=40&md5=0f3aeeff84d27277a15ec0216cd24c0c},
            issn = {17411068},
          author = {Ahmadon, Mohd Anuaruddin Bin and Yamaguchi, Shingo and Gupta, B. B.}
}