Das Tool CVTOSPEC stammt von mir, wird aber z.Zt. nicht aktiv beworben. http://www.robertmack.de/cvtospec.html

Geplant ist, die Funktionalität auf die maschinelle Übersetzung von Zyklen zu erweitern - komme aber gerade nicht dazu.

Für Rückfragen stehe ich gerne zur Verfügung,
Robert Mack