IEE Colloquium on Formal Methods and Human-Computer Interaction: II