A unified description formalism for complex HCI-systems | IEEE Conference Publication | IEEE Xplore