MoTor stands for the MoDeST Tool Environment. MoTor is aimed at providing a means to analyse and evaluate MoDeST specifications. MoDeST is a specification language we recently developed. It provides a wide spectrum of modeling concepts, possesses rigid, process-algebra style semantics, and yet provides modern and flexible specification constructs.