Text this: Specification, model and implementation in hiles designer of a test equipment for an aircraft DC generator control unit