@article{CLMP13,
  author        = {X. Chen and G. Lenzini and S. Mauw and J. Pang},
  title         = {Design and formal analysis of a group signature based electronic toll pricing system},
  journal       = {Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications},
  year          = {2013},
  volume        = {4},
  number        = {1},
  pages         = {55-75},
  url           = {http://satoss.uni.lu/jun/papers/JoWUA13.pdf}
}