Nermin Kajtazovic Christopher Preschern Andrea Höller Christian Kreiner Towards Assured Dynamic Configuration of Safety-Critical Embedded Systems. 167-179 2014 SAFECOMP Workshops https://doi.org/10.1007/978-3-319-10557-4_20 conf/safecomp/2014w db/conf/safecomp/safecomp2014w.html#KajtazovicPHK14