@inproceedings{Bartocci2:WOA2006,
  author    = {Ezio Bartocci and Flavio Corradini and Emanuela Merelli},
  title     = {Building a Multiagent System from a User Workflow Specification.},
  booktitle = {WOA},
  year      = {2006}
}