Dependability through Assured Reconfiguration in Embedded System Software | IEEE Journals & Magazine | IEEE Xplore