On Rigorous Design and Implementation of Fault Tolerant Ambient Systems | IEEE Conference Publication | IEEE Xplore