@inproceedings{RMC09SMCIT,
  author	= "Camilo Rocha and C{\'{e}}sar Mu{\~{n}}oz and H{\'{e}}ctor Cadavid",
  title		= "A Graphical Environment for the Semantic Validation of a Plan Execution Language",
  booktitle	= "Proceedings of the Third IEEE International Conference on Space Mission Challenges 
                   for Information Technology (SMC-IT 2009)",
  month		= "July",
  year		= 2009
}