"motor: The modestTool Environment."

Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics