Comparing the accuracy of backward differentiation formulas for solving Lyapunov differential equations | IEEE Conference Publication | IEEE Xplore