Citation:Kauffman, S. , Havelund, K. , & Joshi, R. . (2016). Runtime Verification. nfer – A Notation and System for Inferring Event Stream Abstractions.