Implementation of a synchronous execution machine on Chorus micro-kernel | IEEE Conference Publication | IEEE Xplore