Hosek, Cadar, 2013. Safe software updates via multi-version execution, in: . IEEE.. https://doi.org/10.1109/icse.2013.6606607