Pamela Zave Eric Cheung Compositional Control of IP Media. 46-66 2009 35 IEEE Trans. Software Eng. 1 http://dx.doi.org/10.1109/TSE.2008.51 db/journals/tse/tse35.html#ZaveC09