The proposed specification hierarchy is implemented using DEVSJAVA [16], which is a set of libraries that provides the needed tools for implementing DEVS models employing the JAVA programming language.