@inproceedings{LPLSD14,
  author        = {L. Li and J. Pang and Y. Liu and J. Sun and J. S. Dong},
  title         = {Symbolic analysis of an electric vehicle charging protocol},
  booktitle     = {Proc.\ 19th IEEE Conference on Engineering of Complex Computer Systems (ICECCS'14)},
  publisher     = {IEEE Computer Society},
  year          = {2014},
  pages         = {11-18}
}