Modeling formalisms have been useful for a variety of needs, among them validation and verification. Common examples of these formalisms are Petri nets [1]}, Timed Automata (TA) [2]}, answer set programming (ASP) [3]}, and DEVS [4]}. Each can be used to dissect certain aspects of a system's states, inputs/outputs, and state/output transitions. However, there has not been a formal way that a complete representation of a system can take place except with a large degree of constriction or abstraction. Thus, it becomes necessary to use a variety of formalisms for various needs in a complementary manner. Fundamental difficulties may arise, especially regarding heterogeneity; however, certain guarantees can be afforded if some analysis effort takes place. This fact is behind the high cost of developing models that conform to formal methods. Less formal approaches such as Unified Modeling Language (UML) and System Modeling Language (SysML) with the benefit afforded in Model Driven Architecture (MDA) is appealing in-practice and the use of accompanying frameworks and tools. Environments such as Eclipse Modeling Framework [5]} although key, they may not lend themselves to a desired degree of rigor [6]}.
