A Tool for Automated Inspection of Software Design Documents and Its Empirical Evaluation in an Aviation Industry Setting | IEEE Conference Publication | IEEE Xplore