Formal structure for specifying the content and quality of the electronic health record | IEEE Conference Publication | IEEE Xplore