@mastersthesis {7339, title = {Automated Form Checking for Pipe Spool Fabrication}, year = {2014}, author = {Nahangi, M. and Haas, C.} }