JANI Extensions

This part of the documentation describes extensions to the JANI model interchange format.