1. The Abstract State Machine Language, http://www.research.microsoft.com/fse/asml
2. Graph Rewriting and Transformation, http://www.isis.vanderbilt.edu/Projects/mobies
3. Link for semantic anchoring tool suite, http://www.isis.vanderbilt.edu/SAT
4. The Generic Modeling Environment: GME, http://www.isis.vanderbilt.edu/Projects/gme
5. The Ptolemy II, http://www.ptolemy.eecs.berkeley.edu/ptolemyII