@article{wang2000modelchecking,
  title={E-process design and assurance using model checking},
  author={Wang, W.},
  journal={IEEE Computer},
  volume={33},
  year={2000}
}