GRuM — A flexible model-driven runtime monitoring framework and its application to automated aerial and ground vehicles | Publicación