Thanks for sharing this. I really like the idea of being able to extract the state machine from a higher-level spec you've included here. The DHCP client exam

Thanks for sharing this. I really like the idea of being able to extract the state machine from a higher-level spec you've included here. The DHCP client example especially is really nice.