On the automatic evolution of an OS kernel using temporal logic and AOP | IEEE Conference Publication | IEEE Xplore