@InProceedings{Zanella:2006:CASSIS,
  author    = "Santiago {Zanella B{\'e}guelin}",
  title     = "Formalisation and Verification of the {GlobalPlatform
                 Card Specification} Using the {B} Method",
  booktitle = "2nd International Workshop on Construction and Analysis of 
               Safe, Secure, and Interoperable Smart Devices, CASSIS 2005",
  publisher = "Springer",  
  series    = "Lectures Notes in Computer Science",
  volume    = "3956",
  year      = "2006",
  pages     = "155--173",
  url       = "http://dx.doi.org/10.1007/11741060_9"
}