A design methodology to maintain consistency between functional behavior and multimedia presentation | IEEE Conference Publication | IEEE Xplore