device description [...] . The Device.zip file [...] device description
deposited in the device description. An external [...] file in *.m4 format
device description [...] simulated device, i.e. in [...] on a device in