@inproceedings{ECSA-2011-HamelGKBG,
	author        = "Lazhar Hamel and Mohamed Graiet and Mourad Kmimech and Mohamed Tahar Bhiri and Walid Gaaloul",
	booktitle     = "{Proceedings of the Fifth European Conference on Software Architecture}",
	doi           = "10.1007/978-3-642-23798-0_7",
	isbn          = "978-3-642-23797-3",
	pages         = "67--74",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Verifying Composite Service Transactional Behavior with EVENT-B}",
	volume        = 6903,
	year          = 2011,
}