Add documentation for message sequences