Controlled Update of Software Components using Concurrent Exection of Patched and Unpatched Versions. - Stjepan Gros; Ivan Kovacevic; Ivan Dujmic; Matej Petrinovic (CoRR, 2021)