@inproceedings{wang2011,
  title = "Formal and Model-Based Testing of Concurrent Workflows",
  author = "Chen-Wei Wang and Alessandra Cavarra and Jim Davies",
  year = "2011",
  journal = "Workshop on Formal Methods in the Development of Software (WS-FMDS '11)",
}