@incollection {springerlink:10.1007/978-3-642-32943-2_14,
   author = {Williams, David and de Ruiter, Joeri and Fokkink, Wan},
   affiliation = {Department of Computer Science, VU University Amsterdam, The Netherlands},
   title = {Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols},
   booktitle = {Theoretical Aspects of Computing – ICTAC 2012},
   series = {Lecture Notes in Computer Science},
   editor = {Roychoudhury, Abhik and D’Souza, Meenakshi},
   publisher = {Springer Berlin / Heidelberg},
   isbn = {978-3-642-32942-5},
   keyword = {Computer Science},
   pages = {168-182},
   volume = {7521},
   url = {http://dx.doi.org/10.1007/978-3-642-32943-2_14},
   note = {10.1007/978-3-642-32943-2_14},
   year = {2012}
}