DOI,IST REx ID,Research Group,Title of publication
10.1145/2889160.2889233,479,ToHe,Use runtime verification to improve the quality of medical care practice