Improving operation time bounded mission critical systems' attack-survivability through controlled source-code transformation. - Bogdan Korel; Shangping Ren; Kevin A. Kwiat; Arnaud Auguste; Alban Vignaux (SIN, 2011)