Towards dependable CPS infrastructures: Architectural and operating-system challenges | IEEE Conference Publication | IEEE Xplore