Mining Network Specifications from Network Configurations - View it on GitHub