Conformance Testing by Model Checking Timed Extended Finite State Machines
Adilson Luiz Bonifácio
José Carlos Maldonado
Adenilso da Silva Simão