@unpublished{overlay19_combined_verification,
  author    = {Della Monica, D. and
               A. Francalanza},
  title     = {Pushing runtime verification to the limit:
               May process semantics be with us},
  year      = {2019},
  note      = {1st Workshop on Artificial Intelligence and
               fOrmal VERification, Logic, Automata, and
	       sYnthesis (OVERLAY)}
}