Конечно, добавить не сложно, websocket — простой протокол. Но без него SIPML5 работать не сможет, он подключается к серверу по websocket. Преобразования не будет, websocket — это транспортный уровень для SIP.
Положу здесь ссылку на релевантный пост, там есть пара полезных ссылок.
Там часть файлов нужно сгенерировать, алгоритм такой: загружаем солюшен; делаем Unload project для проектов в которых не хватает файлов (HttpDfaTester, SipDfaTestet, Http.Message); под Release запускаем проект HttpDfaCompiler; после завершения делаем Reload Project для Http.Message и HttpDfaTester (у меня студию без перезагрузки не смогла собрать), собираем и эксперементируем с HttpDfaTester. В следующие разы все собирается без «танцев с бубном». Да, получилось не очень удобно, в следующей версии сделаю чтобы работало «из коробки».
Вот отличная релевантная статья, в ней есть ссылки на 3 pdf-ки. В них очень кратко, но мой взгляд удачно, описаны все необходимые алгоритмы: конструкции Томсона, НКА->ДКА, минимизация ДКА.
Положу здесь ссылку на релевантный пост, там есть пара полезных ссылок.