Algebraic Formal Modelling for EIGRP using ACP Formal Description Modelling on EIGRP Routing Protocol 2018 Conference Paper uri icon