Towards a control-theoretical approach to software fault-tolerance | IEEE Conference Publication | IEEE Xplore