Non-functional property specifications for WRIGHT ADL | IEEE Conference Publication | IEEE Xplore