Написать код на языке hlpsl (Awispa) предоставленного протокола

Есть протокол, описанный в нотации A-B. Необходимо написать для него код на языке hlpsl, для анализа безопасности протокола. (Важно код должен быть рабочий! :) )