On the automatic evolution of an OS kernel using temporal logic and AOP. - Rickard A. Åberg; Julia L. Lawall; Mario Südholt; Gilles Muller; Anne-Françoise Le Meur (ASE, 2003)