Tiwari. Compositionally Analyzing a Proportional-integral Controller Family. IEEE, 2011, doi:10.1109/cdc.2011.6160779.