@incollection{series/lncs/ShaM08, title = {Design of Complex Cyber Physical Systems with Formalized Architectural Patterns.}, author = {Lui Sha and José Meseguer}, booktitle = {Software-Intensive Systems and New Computing Paradigms}, crossref = {series/lncs/5380}, editor = {Martin Wirsing and Jean-Pierre Banâtre and Matthias M. Hölzl and Axel Rauschmayer}, pages = {92-100}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, url = {http://dblp.uni-trier.de/db/series/lncs/lncs5380.html#ShaM08}, volume = {5380}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/2956436217a907abf3c98f7ca01f3a58c/dblp}, description = {dblp}, date = {2008-11-16}, ee = {http://dx.doi.org/10.1007/978-3-540-89437-7_5}, isbn = {978-3-540-89436-0}, keywords = {dblp } }