@techreport{1997-Devillers-AutomataSupport, author = "{Devillers}, M.", title = "{Mechanized support for I/O automata}", number = "CSI--N9710", month = "December", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "1997", code = "icis.CSI-N9710", research_group = "icis", class = "Report" }