Control systems with saturating inputs : analysis tools and advanced design (2012)