@inproceedings{ICEIS-ISAS2-2008-VerjusP,
	author        = "Hervé Verjus and Frédéric Pourraz",
	booktitle     = "{Proceedings of the 10th International Conference on Enterprise Information Systems, Volume 3.2: ISAS}",
	isbn          = "978-989-8111-38-8",
	pages         = "76--81",
	title         = "{DIAPASON: A Formal Approach for Supporting Agile and Evolvable Information System Service-Based Architectures}",
	year          = 2008,
}