An industrial case study using an MBE approach: from architecture to safety analysis