Input design using cylindrical algebraic decomposition. - Håkan Hjalmarsson; Freja Egebrand (CDC/ECC, 2011)