@INPROCEEDINGS{Fakhfakh2015,
  author = {Faten Fakhfakh and Mohamed Tounsi and Ahmed Hadj Kacem and Mohamed
	Mosbah},
  title = {Towards a Formal Model for Dynamic Networks Through Refinement and
	Evolving Graphs},
  booktitle = {Proceedings of the 16th {IEEE/ACIS} International Conference on Software
	Engineering, Artificial Intelligence, Networking and Parallel/Distributed
	Computing, {SNPD}},
  year = {2015}
}