1. Lecture Notes in Computer Science;L. Aceto,1998
2. Aceto, L., Burgnueno, A., Larsen, K.G.: Model Checking via Reachability Testing for Timed Automata. Technical Report RS-97-29, BRICS (November 1997)
3. Belding-Royer, E.M., Chakeres, I.D.: Private e-mail communication
4. Belding-Royer, E.M., Chakeres, I.D., Perkins, C.E.: Ad hoc On- Demand Distance Vector (AODV) Routing: Work in progress (September 2003), http://www.ietf.org/internet-drafts/draft-perkins-manet-aodvbis-00.txt
5. Belding-Royer, E.M., Chakeres, I.D., Perkins, C.E.: Ad hoc On- Demand Distance Vector (AODV) Routing: Work in progress (February 2003), http://moment.cs.ucsb.edu/AODV/ID/draft-ietf-manet-aodv-13.txt