@InProceedings{OKMTZactivenetwork_2001,
  author = 	 {P.C. P\"O}lveczky, M. Keaton, J. Meseguer, C. Talcott, and S. Zabele},
  title = 	 {Specification and Analysis of the {AER/NCA} Active Network 
                  Protocol Suite in {R}eal-{T}ime {M}aude},
  booktitle = 	 {4th International Conference on Fundamental Approaches to 
                  Software Engineering (FASE'01)},
  pages = 	 {333-348},
  year = 	 {2001},
  volume = 	 {2029},
  series = 	 {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}