Approximate trace and singleton failures equivalences for transition systems
Chao Wang, Jinzhao Wu, and Hongyan Tan
Journal of Systems Engineering and Electronics . 2015, (4): 886 .  DOI: 10.1109/JSEE.2015.00096