HTTPS SSH
* Исходные коды
Подсистема обработки сценариев : code/flow-manager/
Дискретно-событийная симуляция исполнения потоковых сценариев : code/flow-simple-test/

Нужно ещё ядро симулятора. Лежит оно здесь : https://bitbucket.org/kerzol/salty-analyse/src/334257ad9786/analyse/simulo/
(Пока доступа туда нет, но я что-нибудь придумаю)

Текст диссертации и исходники презентации: text/