Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical Systems (NII Shonan Meeting 2016-5). - Shin Nakajima 001; Jean-Pierre Talpin; Masumi Toyoshima; Huafeng Yu (NII Shonan Meet. Rep., 2016)