Reducing critical failures for control algorithms using executable assertions and best effort recovery | IEEE Conference Publication | IEEE Xplore