THE ROLE OF SEPARATION OF CONCERNS IN THE FORMAL SPECIFICATION OF DISTRIBUTED MULTIMEDIA SYSTEMS