גרמנית ⇄ איטלקית אנגלית דנית הולנדית יוונית ספרדית פורטוגלית פינית צרפתית +

GRASPIN קיצור.
.טכנול	Personal Workstation for Incremental Graphical Specification and Formal Implementation of Non-Sequential Systems