Source code of the jEULYNX prototype framework

A prototype version of the jEULYNX prototype framework, which uses an internal domain-specific language to capture SysML diagrams as digital models. It also contains several exports for the models, in particular to the process algebra mCRL2.