Formal development of a real-time kernel | IEEE Conference Publication | IEEE Xplore