Ahmed Bouajjani Cezara Dragoi Constantin Enea Yan Jurski Mihaela Sighireanu A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes http://arxiv.org/abs/0903.3126 2009 Logical Methods in Computer Science 5 db/journals/lmcs/lmcs5.html#abs-0903-3126 2