Verification of Engineering Models Based on Bipartite Graph Matching for Inspection Applications.