@misc{huuck2013formal,
  title={Formal Verification, Engineering and Business Value},
  author={Ralf Huuck},
  year={2013},
  eprint={1301.0037},
  archivePrefix={arXiv},
  primaryClass={cs.SE},
  doi={10.4204/EPTCS.105.1},
  url={https://arxiv.org/abs/1301.0037}
}