Symbolic models for linear control systems with disturbances | IEEE Conference Publication | IEEE Xplore