 For some of the behavior specification techniques, an interface to model checkers is offered.More in particular, TCM contains the following editors.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