The RealTime version of RationalRose.
This product line includes the ObjecTime tool purchased from ObjecTime Limited, Canada.
That tool and method are valuable for developing ConcurrentStateMachines (in the form of software or standard protocols). It utilizes the RealtimeObjectOrientedModeling method (ROOM), "upgraded" to UML notation.
See