A Formal Approach to Anomaly Detection. - André Eriksson; Hedvig Kjellström (ICPRAM, 2016)