@misc{gravell2011concurrentdevelopmentmodelimplementation,
      title={Concurrent Development of Model and Implementation}, 
      author={A. Gravell and Y. Howard and J. C. Augusto and C. Ferreira and S. Gruner},
      year={2011},
      eprint={1111.2826},
      archivePrefix={arXiv},
      primaryClass={cs.SE},
      url={https://arxiv.org/abs/1111.2826}, 
}