High-Quality Network Specifications via Coverage Analysis and Relational Abstractions