A formal framework of human–machine interaction in proactive maintenance – MANTIS experience - Poklukar, Špela (Array, 2017)