@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}