COST action IC 1402 ArVI: Runtime verification beyond monitoring activity report of working group 1 - Core aspects of monitoring