Programming support for time-sensitive adaptation in cyberphysical systems. - Mikhail Afanasov; Aleksandr Iavorskii; Luca Mottola (SIGBED Rev., 2017)