Text this: Model-based safety assessment method of civil aircraft power distribution network