Aspect-oriented formal specification for multimedia systems | IEEE Conference Publication | IEEE Xplore