JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems