Essays on stability analysis and model reduction * Proof of the routh criterion - Viaro, Umberto (2010)