Automatic control software synthesis for quantized discrete time hybrid systems | IEEE Conference Publication | IEEE Xplore