https://1library.org/document/qm3v027y-safety-verification-linear-analyses-problem-order-effects-evaluation.html