Dedos: a distributed real-time environment | IEEE Journals & Magazine | IEEE Xplore