How to produce professional screencast demo videos

I'm interested in creating my own videos, akin to those wpmudev uses to demonstrate the features of their plugins.

I'm not after tips as such, but I'm keen to know for a start, what software I could use to create something similar to wpmudev. What I'm looking for is the types of animations, music and screencast recording and editing that are used.

Maybe an easier question would be - how does wpmudev do it? A blog post exploring the production of a plugin video would be great. :slight_smile: