A Meta-Modeling Tool for Reactive Systems, Originally contributed by RTS lab, Tsinghua University.