Great book. This was the inspiration for Tamarin. I've been working on this as a side project for about a year now.

https://github.com/cloudcmds/tamarin