@Article{Sanchez2019,
author="S{\'a}nchez, C{\'e}sar
and Schneider, Gerardo
and Ahrendt, Wolfgang
and Bartocci, Ezio
and Bianculli, Domenico
and Colombo, Christian
and Falcone, Yli{\'e}s
and Francalanza, Adrian
and Krsti{\'{c}}, Sr\dj{}an
and Louren{\c{c}}o, Jo{\~a}o M.
and Nickovic, Dejan
and Pace, Gordon J.
and Rufino, Jose
and Signoles, Julien
and Traytel, Dmitriy
and Weiss, Alexander",
title="A Survey of Challenges for Runtime Verification from Advanced Application Domains (beyond software)",
journal="Formal Methods in System Design",
publisher="Springer",
year="2019",
month="Aug",
day="09",
issn="1572-8102",
doi="10.1007/s10703-019-00337-w",
url="https://doi.org/10.1007/s10703-019-00337-w"
}