(a) An agreement relating to an industrial project or medical project between the issuer and the lessee or between a lessee and ultimate lessee must be for the benefit of the issuer. The agreement must provide that, in the event of a default in the payment of the principal of or the interest on the bonds or in the performance of any agreement contained in a proceeding, mortgage, or instrument, the payment or performance may be enforced by mandamus or by the appointment of a receiver with the power to charge rents and to apply the revenue from the project in accordance with the resolution, mortgage, or instrument.
(b) A mortgage to secure bonds issued under this chapter may also provide that, in the event of a default in the payment of the mortgage or a violation of an agreement contained in the mortgage, the mortgage may be foreclosed and the property securing the bonds may be sold in any manner permitted by law. The mortgage may provide that a trustee under the mortgage or the holder of any of the bonds secured by the mortgage may purchase the property at a foreclosure sale if the person is the highest bidder.