@misc{indiciae8321abaa2351,
  title = {Transforming opacity verification to nonblocking verification in modular systems},
  author = {Sahar Mohajerani and Stephane Lafortune},
  year = {2019},
  url = {https://arxiv.org/abs/1904.06242},
  note = {Source identifier: 1904.06242}
}