ANETO: A system for the automatic generation of theoretical network models | IEEE Conference Publication | IEEE Xplore