TY  - RPRT
TI  - Formal Modeling in a Commercial Setting: A Case Study
AU  - A. Wong
AU  - M. Chechik
PY  - 1999
UR  - https://arxiv.org/abs/cs/9906032
ID  - cs/9906032
ER  -