Hierons, Türker, 2017. Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs 26.. https://doi.org/10.1145/3051121