User Interface Development for Interactive Television: Extending a Commercial DTV Platform to the Virtual Channel API
A mathematical model of the finding of usability problems