A formal pattern for dynamic networks through evolving graphs | IEEE Conference Publication | IEEE Xplore