Multi-mission selective maintenance modelling for multistate systems over a finite time horizon. (December 2019)