Citation:Kauffman, S. , Joshi, R. , & Havelund, K. . (2016). Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. Towards a Logic for Inferring Properties of Event Streams.