@Article{aer-journ,
  author =       {P. C. {\"O}lveczky and J. Meseguer and C. L. Talcott},
  title =        {Specification and Analysis of the {AER/NCA} Active Network
                  Protocol Suite in {R}eal-{T}ime {M}aude},
  journal =      {Formal Methods in System Design},
  year =         {2006},
  OPTkey =       {},
  volume =       {29},
  number =       {3},
  pages =        {253-293}
}