Paladin: a Run-time Model Based Framework for Automatic Evaluation of Multimodal Interfaces