A survey of challenges for runtime verification from advanced application domains (beyond software) | Publicación