TY - RPRT TI - Requirement verification in simulation-based automation testing AU - Eero Siivola AU - Seppo Sierla AU - Hannu Niemistö AU - Tommi Karhela AU - Valeriy Vyatkin PY - 2017 UR - https://arxiv.org/abs/1602.02504 ID - 1602.02504 ER -