Study on OSPF algebraic formal modelling using ACP Academic Article 2018 uri icon