You can take a look at the QTMovie class included in QTKit.framework. It offers a convenient way:
- (void)addImage:(NSImage *)image forDuration:(QTTime)duration withAttributes:(NSDictionary *)attributes
You can create a new QTMovie than use the above method to add different images to this movie. Recording to a video file is as simple as calling:
- (BOOL)writeToFile:(NSString *)fileName withAttributes:(NSDictionary *)attributes error:(NSError **)errorPtr
In any case, this will not allow you to burn the AVI file, but instead will create a MOV.