_id,doi,title
479,10.1145/2889160.2889233,Use runtime verification to improve the quality of medical care practice