- SGM: (State-Graph Manipulators) A high-level tool for the Specification and Verification of Concurrent Real-Time Systems. Current version SGM v1.3 downloadable at " http://www.cs.ccu.edu.tw/~pahsiung/sgm/".
- SESAG: An Object-Oriented Application Framework for Real-Time Systems