Hieronsand Türker. Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic Fsms. Association for Computing Machinery (ACM), July 2017, doi:10.1145/3051121.