A reliable software architecture for complex embedded systems | IEEE Conference Publication | IEEE Xplore