Lui Sha, José Meseguer. Design of Complex Cyber Physical Systems with Formalized Architectural Patterns. In Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer, editors, Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Volume 5380 of Lecture Notes in Computer Science, pages 92-100, Springer, 2008. [doi]
@incollection{ShaM08, title = {Design of Complex Cyber Physical Systems with Formalized Architectural Patterns}, author = {Lui Sha and José Meseguer}, year = {2008}, doi = {10.1007/978-3-540-89437-7_5}, url = {http://dx.doi.org/10.1007/978-3-540-89437-7_5}, tags = {architecture, design}, researchr = {https://researchr.org/publication/ShaM08}, cites = {0}, citedby = {0}, pages = {92-100}, booktitle = {Software-Intensive Systems and New Computing Paradigms - Challenges and Visions}, editor = {Martin Wirsing and Jean-Pierre Banâtre and Matthias M. Hölzl and Axel Rauschmayer}, volume = {5380}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-89436-0}, }