HCI Specifications Formal models of human-machine interfaces available in this repository: - Alaris GP infusion pump (alaris-tse)