Added state diagrams for rent and return, and included them into the document.