Software for the Internet of Things
Protocol Verification with Merci Mark R. Tuttle and Amit Goel DTS SCL.