The embedded Internet technology based on a real-time kernel for non-PC devices | IEEE Conference Publication | IEEE Xplore