IEE Colloquium on Formal Methods in HCI: III