Computer aided conformance checking by Waard