A State Graph Manipulator Tool for Real-Time System Specification and Verification