Lui Sha José Meseguer Design of Complex Cyber Physical Systems with Formalized Architectural Patterns. 92-100 2008 Software-Intensive Systems and New Computing Paradigms http://dx.doi.org/10.1007/978-3-540-89437-7_5 series/lncs/5380 db/series/lncs/lncs5380.html#ShaM08