[SEAMS'16] Assured and Correct Dynamic Update of Controllers.
Leandro Nahabedian, Víctor Braberman, Nicolás D'Ippolito, Shinichi Honiden, Jeff kramer, Kenji Tei, and Sebastian Uchitel. "Assured and Correct Dynamic Update of Controllers". In 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 16-17,2016, Austin, Texas. ACM, 2016.