@article{AhrendtChimentoPaceSchneider17a,
author="Ahrendt, Wolfgang
and Chimento, Jes{\'u}s Mauricio
and Pace, Gordon J.
and Schneider, Gerardo",
  title="Verifying data- and control-oriented properties combining static and runtime verification: theory and tools",
  journal="Formal Methods in System Design",
  year="2017",
  month="Apr",
  day="04",
  issn="1572-8102",
  doi="10.1007/s10703-017-0274-y",
  url="http://dx.doi.org/10.1007/s10703-017-0274-y",
  publisher="Springer",
}