The author of this book doesn't work at a big cloud provider (afaik) and wrote a pretty good write up on verifying a device setup protocol:

https://medium.com/espark-engineering-blog/formal-methods-in...