For some of the behavior specification techniques, an interface to model checkers is offered.
The Toolkit for Conceptual Modeling was written circa 1996, by Roel Wieringa and Frank Dehne, for Wieringa's conceptual modeling courses and books, Requirements Engineering: Frameworks for Understanding,[1][2] and Design Methods for Reactive Systems: Yourdon, Statemate and the UML.
[3] PDF versions of the User Guide[4] and report, The Yourdon Systems Method and the toolkit for conceptual modeling[5] are available for download.
TCM was an example of Computer Aided Software Engineering support for Method for Conceptual Modeling (MCM) in Model-Driven Architecture in Practice.
[10][11] In 1997, NASA converted TCM C++ source to Java for a Web-based Hyper-text Environment for Requirements Engineering (WHERE) project.