Prototyping distributed multimedia systems using communicating real-time state machines