Modules in Monoidal Model Categories
  This paper studies the existence of and compatibility between derived change of ring, balanced product, and function module derived functors on module categories in monoidal model categories. 
L. Gaunce Lewis Jr, Michael A. Mandell