Verification of Engineering Models Based on Bipartite Graph Matching for Inspection Applications. - Fabricio Fishkel; Anath Fischer; Sigal Ar (GMP, 2006)