Irreversible R&D investment with inter-firm spillovers