@incollection{krikava:hal-01257205, TITLE = {{Contracts-based Control Integration into Software Systems}}, AUTHOR = {K{\v r}ikava, Filip and Collet, Philippe and Rouvoy, Romain and Seinturier, Lionel}, URL = {https://inria.hal.science/hal-01257205}, BOOKTITLE = {{Software Engineering for Self-Adaptive Systems 3: Assurances}}, EDITOR = {Rogerio de Lemos and David Garlan and Carlo Ghezzi and Holger Giese}, PUBLISHER = {{Springer}}, SERIES = {LNCS}, VOLUME = {9640}, YEAR = {2017}, MONTH = May, PDF = {https://inria.hal.science/hal-01257205v2/file/sefsasb3-paper.pdf}, HAL_ID = {hal-01257205}, HAL_VERSION = {v2}, }