Существуют ли какие-либо инструменты или коды для перевода BPEL в код NuSMV?Я нашел документ Моделирование и проверка бизнес-процессов BPEL , но инструменты и коды не предоставляются.