@article{NMHH13,
      Author = "Anthony Narkawicz and C{\'{e}}sar Mu{\~{n}}oz and Heber Herencia-Zapana and 
George Hagen",
      Title  = "Formal Verification of Lateral and Temporal Safety Buffers for State-Based
  Conflict Detection",
      
      doi = "10.1177/0954410012456495",
      url = "http://dx.doi.org/10.1177/0954410012456495",
      publisher = "SAGE",
      Journal = "Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering",
      month={September},
      volume={227},
      number={9},
      pages="1412--1424",
      year = {2013}}