Modelling and analysing resilient cyber-physical systems.
Amel BennaceurCarlo GhezziKenji TeiTimo KehrerDanny WeynsRadu CalinescuSchahram DustdarZhenjiang HuShinichi HonidenFuyuki IshikawaZhi JinJeffrey KramerMarin LitoiuMichele LoretiGabriel A. MorenoHausi A. MüllerLaura NenziBashar NuseibehLiliana PasqualeWolfgang ReisigHeinz SchmidtChristos TsigkanosHaiyan ZhaoPublished in: SEAMS@ICSE (2019)