Michael Rathmair, Christoph Luckeneder, Hermann Kaindl, Carna Radojicic. Semi-symbolic Simulation and Analysis of Deviation Propagation of Feature Coordination in Cyber-physical Systems. In 51st Hawaii International Conference on System Sciences, HICSS 2018, Hilton Waikoloa Village, Hawaii, USA, January 3-6, 2018. pages 1-10, AIS Electronic Library (AISeL), 2018. [doi]
Abstract is missing.