@inproceedings{inproceedings4b25b0c1,
title   = {Conformance testing by model checking timed extended finite state machines},
author = {Bonifacio, Adilson L and Moura, Arnaldo Vieira and Simão, Adenilso da Silva and Maldonado, José Carlos},
year = {2006},
booktitle   = {Brazilian Symposium on formal Methods}
}