Rose, A.T., M.A. Perez, and P.C. Clements, "Modechart Toolset User's Guide",
NRL Memorandum Report "NRL/MR/5540--94-7427",
14 February 1994.

<blockquote>
This document describes how to use the Modechart Toolset (MT).  MT is
a set of tools designed to facilitate the specification, modeling, and
analysis of real-time embedded systems using the Modechart language.
MT supports the creation, modification, and storage of Modechart
specifications.  It also supports the analysis of Modechart
specifications via a consistency and completeness checker, a simulator
and a verifier.
</blockquote>