Human Computer Interaction requirements for an educational toolset using Digital TV infrastructure: Case study | IEEE Conference Publication | IEEE Xplore