Automated Modelling of Reactive Discrete Event Systems from External Behavioural Data