Practical programming, validation and verification with finite-state machines: a library and its industrial application.

Paulo Salem

Browse the full ICSE paper archive.