Added specs for rental manager and reservation manager