@article{BandyopadhyaySarkarMandaletal.2022,
  author    = {Soumyadip Bandyopadhyay and Dipankar Sarkar and Chittaranjan Mandal and Holger Giese},
  title     = {Translation validation of coloured Petri net models of programs on integers},
  journal   = {Acta informatica},
  volume    = {59},
  number    = {6},
  pages     = {725 -- 759},
  doi       = {10.1007/s00236-022-00419-z},
  year      = {2022},
}