UTARK: an object-based real-time kernel for distributed embedded systems | IEEE Conference Publication | IEEE Xplore