@article{ZZPM12,
  author        = {Y. Zhang and C. Zhang and J. Pang and S. Mauw},
  title         = {Game-based verification of contract signing protocols with minimal messages},
  journal       = {Innovations in Systems and Software Engineering},
  year          = {2012},
  volume        = {8},
  number        = {2},
  pages         = {111--124},
  url           = {http://satoss.uni.lu/jun/papers/ISSE12.pdf},
  ulkey         = {Zhang:7827}
}