Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems