On Thursday, 24 February 2022 at 06:54:07 UTC, eugene wrote:
Wagner F. et alModeling Software with Finite State Machines: A Practical ApproachI've adopted some ideas from this book to POSIX/Linux API.
Ah! I also have EDSM for bare metal (AVR8 to be exact)There is [some description](http://zed.karelia.ru/go.to/for.all/software/avr8-edsm) (in Russian), but you can look to the [C-source](http://zed.karelia.ru/mmedia/bin/avr8-edsm-r0.tar.gz)