Home Team members Publications Software KerMeta Tools under development & prototypes UCTSystem EMF-AR Requirements to Analysis Implicit Control Flows Reverse Engineering Time Tools Metamodel Coverage Checker Former tools Pramana