Input: tsc2007 - make use of device properties