Evolving an OS kernel using temporal logic and AOP

Bibtex entry :

@inproceedings {  alsm03acp4is,
    author = { R.A. AAberg and J.L. Lawall and M. Südholt and G. Muller },
    title = { Evolving an OS kernel using temporal logic and AOP },
    journal = { Proc. of the 2nd AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS) },
    year = { 2003 },
}