A System for Supporting Creation of Procedure Manuals for Network Device Configuration | IEEE Conference Publication | IEEE Xplore