_id,doi,title
1606,10.1007/978-3-319-23820-3_19,Runtime verification for hybrid analysis tools