@inproceedings{7bf340238d23465cb22f8c862013979c,
title = "Motor: The MoDeST Tool Environment",
abstract = "The MoDeST Tool Environment (MOTOR) is a tool to facilitate the transformation, analysis and validation of modest models. modest is a modelling language to describe stochastic real-time systems. MOTOR implements the formal semantics of modest and is designed to transform and abstract modest specifications such that analysis can be carried out by third-party tools. For the time being, a fragment of MoDeST can be model-checked using CADP. The main analytical workhorse behind motor is discrete-event simulation, which is provided by the M{\"o}bius performance evaluation environment. We are experimenting with prototypical connections to the real-time model checker Uppaal.",
keywords = "IR-62047, METIS-245842, EWI-11534",
author = "H.C. Bohnenkamp and H. Hermanns and Katoen, {Joost P.}",
note = "10.1007/978-3-540-71209-1_38 ; null ; Conference date: 01-01-2007",
year = "2007",
doi = "10.1007/978-3-540-71209-1_38",
language = "Undefined",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
number = "Supplement",
pages = "500--504",
booktitle = "Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems",
address = "Netherlands",
}