Availability and maintenance modeling for a two-component system with dependent failures over a finite time horizon. (April 2019)