Formal specification of multimedia authoring | IEEE Conference Publication | IEEE Xplore