Любой инструмент для преобразования требований NL в формальный язык спецификации с использованием VDM

Question

У меня вопрос относительно VDM++ а также VDM-slинструмент. Есть ли какой-нибудь инструмент, в котором мы просто пишем пример использования требований, и он преобразуется вVDM на основе формального языка спецификации.