The EFX editing and effects environment | IEEE Journals & Magazine | IEEE Xplore