ASYNCHRONOUS MACHINE DIAGNOSTIC-ORIENTED MODELLING: THE STATOR SHORT CIRCUIT CASE