@misc{indiciae76f7d7df73a0,
  title = {Formal Modeling in a Commercial Setting: A Case Study},
  author = {A. Wong and M. Chechik},
  year = {1999},
  url = {https://arxiv.org/abs/cs/9906032},
  note = {Source identifier: cs/9906032}
}