Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle