Paulo Salem. Practical programming, validation and verification with finite-state machines: a library and its industrial application. In Laura K. Dillon, Willem Visser, Laurie Williams, editors, Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume. pages 51-60, ACM, 2016. [doi]
Abstract is missing.