Anti-pattern detection with model queries: A comparison of approaches | IEEE Conference Publication | IEEE Xplore