A software library, a control backbone and user-specified recovery strategies to enhance the dependability of embedded systems | IEEE Conference Publication | IEEE Xplore