buses-ethernet.aadl 413 Bytes