Towards a Formalization of System Requirements for an Integrated Clinical Environment