In this paper we report on our experience of using formal methods to analyse aspects of a national standard for open systems medical device communications. Mathematical techniques are used to specify aspects of the standard and modal logic is used to validate certain safety-related properties. We discuss how these techniques can increase the confidence of developers and users in specific safety related aspects of a standard prior to testing prototypes. This work has informed comments to the balloting process of the standards committee.