@inproceedings{KhedriBourguiba2004b,
	Address = {Beijing, China},
	Author = {Ridha Khedri and Imen Bourguiba},
	Booktitle = {2nd IEEE International Conference on Software Engineering and Formal Methods},
	Month = {September 26 -- 30},
	Pages = {356 -- 365},
	Publisher = {IEEE Computer Society Press},
	Title = {Formal Derivation of Functional Architectural Design},
	Year = 2004}