JaeSeung Song, Tiejun Ma, Peter R. Pietzuch: Towards automated verification of autonomous networks: A case study in self-configuration. PerCom Workshops 2010: 582-587