A graph-based method and a software tool for interactive tolerance specification