Text this: Formalization of medical informatics UML and Z specifications