@inbook{Augusto03b,
  title      = {Using SPIN and STeP to Verify Business Processes Specifications},
  ISBN       = {9783540398660},
  ISSN       = {1611-3349},
  DOI        = {10.1007/978-3-540-39866-0_22},
  booktitle  = {Perspectives of System Informatics},
  publisher  = {Springer Berlin Heidelberg},
  author     = {Augusto, Juan C. and Butler, Michael and Ferreira, Carla and Craig, Stephen-John},
  year       = {2004},
  pages      = {207–213},
}