@article{MDC04SEN,
  author = "C. Mu{\~n}oz and G. Dowek and V. Carre{\~n}o",
  title = "Modeling and Verification of an Air Traffic Concept of Operations",
  journal = "Software Engineering Notes", 
  series = "Proceedings of International Symposium on Software Testing and
               Analysis, ISTTA 2004",
  volume = 29,
  number = 4,
  address= "Boston, MA",
  note = {A long version appears as report NASA/TM-2004-213006},
  pages = "175-182",
  year = "2004"
}