Flash export to QuickTime works fine, but you need to know how to configure the settings and it is best to have your frame rate doubled first. Personally I use png sequences because then every frame is pristine. Importing swf into AfterEffects is another fantastic way to leverage the power and ease of use of Flash to get quality animations into video. So many TV commercials are made this way.
7/15/14 at 3:28pm