Distributed Computing in Dynamic Networks: Towards a Framework for Automated Analysis of Algorithms