@article{verifyingaplatformfordigitalimaginga,
  title = {Verifying a platform for digital imaging: a multi-tool strategy},
  author = {Jónathan Heras and Gadea Mata and Ana Romero and Julio Rubio and Rubén Sáenz},
  year = {2013},
  eprint = {1303.1420},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1303.1420v2},
}