Armitage, William D., Alessio Gaspar, and Matthew Rideout. A UML and MLN Based Approach to Implementing a Networking Laboratory on a Scalable Linux Cluster. CCSC'07, 2007.