Introduction to the special issue on runtime verification | Publicación