swf2avi is a tool to convert or batch-convert Flash/Shockwave movies (swf) to bitmaps, bitmap-sequences (bmp, jpg) or videos (avi). (swf2bmp, swf2jpg, swf2bitmap, swf2video, swf to avi, swf to video,.. call it whatever you want ;-) Special feature:

swf2avi includes and executes all required movies and ActionScripts while converting the swf movie. (As you know, Macromedia Flash is not able to do this.)

After the conversion you can edit these files in Adobe Premiere or any other video editing software.