Added formal document for defining the use of PacketMessages