Formalization of Requirements for Medical Engineering