P Gorm Larsen, J Fitzgerald, J Woodcock… - … on Modelling, Analysis …, 2016 - diva-portal.org
We describe INTO-CPS, a project that aims to realise the goal of integrated tool chains for
the collaborative and multidisciplinary engineering of dependable Cyber-Physical Systems …