@inproceedings{BHK07,
author={H. Bohnenkamp and H. Hermanns and J-P. Katoen},
title={Motor: The MoDeST Tool Environment},
booktitle={Proc. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07)},
year={2007},

editor={},
pages={500--504},
organization={},
publisher={Springer},
series={LNCS},
volume={4424},
month={},
note={},
key={}
}