Ahmadon, Mohd Anuaruddin Bin and Yamaguchi, Shingo and Gupta, B.B.  (2018) Petri net-based verification of security protocol implementation in software evolution.  International Journal of Embedded Systems, 10 (6).  503 – 517.  ISSN 17411068