@article{hierons_türker_2017, 
  title={Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs}, 
  volume={26}, 
  DOI={10.1145/3051121}, 
  publisher={Association for Computing Machinery (ACM)}, 
  author={Hierons and Türker}, 
  year={2017}, 
  month={Jul}
  }