Formal Modeling Language Graphical User Interface package