swf2avi is an utility you can use to convert or batch-convert Shockwave/Flash movies (swf) to videos (avi), bitmaps, bitmap-sequences (bmp, jpg).(swf2bmp, swf2jpg, swf2bitmap, swf2video, swf to avi, swf to video,.. call it whatever you want ;-)
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.
NOTE: In order to run swf2avi, you need Visual Basic 6 Runtimes