HIDOORS - a high integrity distributed deterministic Java environment | IEEE Conference Publication | IEEE Xplore