Contract-Driven Runtime Adaptation. - Eunsuk Kang; Akila Ganlath; Shatadal Mishra; Florin Baiduc; Nejib Ammar (NFM, 2024)