"Assured and correct dynamic update of controllers" (2016) Nahabedian, L.;Braberman, V.;D'Ippolito, N. (
...)Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE) 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016:96-107