A Java kernel for embedded systems in distributed process control | IEEE Journals & Magazine | IEEE Xplore