@InProceedings{JV05,
  author = 	 {Jensen, R.~M. and Veloso, M.~M.},
  title = 	 {{ASET}: a Multi-Agent Planning Language with Non-Deterministic 
                  Durative Tasks for BDD-based Fault Tolerant Planning},
  booktitle = 	 {Proceedings of the 15th International Conference on Automated 
                  Planning and Scheduling ({ICAPS}-05) Workshop on Multi-Agent 
                  Planning and Scheduling},
  year =	 2005
}