Alternating approximately bisimilar symbolic models for nonlinear control systems with unknown time-varying delays | IEEE Conference Publication | IEEE Xplore