https://9lib.net/document/9ynpmn0z-analysis-maximum-clique-formulations-saturated-linear-dynamical-network.html