Detecting Temporal Anomaly and Interestingness in Timed Business Process Models | IEEE Conference Publication | IEEE Xplore