Detecting Semantic Alignments Between Textual Specifications And Domain Models