Semantic Similarity Analysis between High-Level Model Description Text and Low-Level Implementation Text for Network Survivability