A mathematical model of the finding of usability problems | Synapse