@misc{misccd7405b0,
title   = {Inferring FSM models of systems without reset},
author = {Groz, Roland and Simão, Adenilso da Silva and Petrenko, Alexandre and Oriat, Catherine},
year = {2019},
doi = {10.1007/978-3-319-96562-8_7},
publisher = {Springer},
booktitle   = {International Dagstuhl Seminar 16172}
}