Formal analysis approach on networks with dynamic behaviours | IEEE Conference Publication | IEEE Xplore