@inproceedings{conf/icfem/LaibinisTLLM05,
	title = {Formal Model-Driven Development of Communicating Systems.},
	author = {Linas Laibinis and Elena Troubitsyna and Sari Leppänen and Johan Lilius and Qaisar A. Malik},
	booktitle = {ICFEM},
	crossref = {conf/icfem/2005},
	editor = {Kung-Kiu Lau and Richard Banach},
	pages = {188-203},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2005.html#LaibinisTLLM05},
	volume = {3785},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/2cc9668ab5c846a2fbbef158357440c9b/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/11576280_14}, isbn = {3-540-29797-9}, date = {2006-11-28},
	keywords = {dblp }
}