@Inproceedings{EPTCS324.4, author = {Trindade, Andr\'e and Mota, Jo\~ao and Ravara, Ant\'onio}, year = {2020}, title = {Typestates to Automata and back: a tool}, editor = {Lange, Julien and Mavridou, Anastasia and Safina, Larisa and Scalas, Alceste}, booktitle = {{\rm Proceedings 13th} Interaction and Concurrency Experience, {\rm Online, 19 June 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {324}, publisher = {Open Publishing Association}, pages = {25-42}, doi = {10.4204/EPTCS.324.4}, }