@ARTICLE{Basin_etal.2007,
  author = {David Basin and Hironobu Kuruma and Kunihiko Miyazaki and Kazuo Takaragi
	and Burkhart Wolff},
  title = {Verifying a signature architecture: a comparative case study},
  journal = {Formal Aspects of Computing},
  year = {2007},
  volume = {19},
  pages = {63--91},
  number = {1}
}