@article{article0e530857,
title   = {Generalizing the DS-Methods for testing non-deterministic FSMs},
author = {Petrenko, Alexandre and Simão, Adenilso da Silva},
year = {2015},
doi = {10.1093/comjnl/bxu113},
journal   = {The Computer Journal: Section A: Computer Science Theory, Methods and Tools}
}