A flexible run-time support for distributed dependable hard real-time applications | IEEE Conference Publication | IEEE Xplore