Specification and Validation of a Real-Time Simple Parallel Kernel for Dependable Distributed Systems | IEEE Conference Publication | IEEE Xplore