A parameterisable VHDL model of an avionics data bus | IEEE Conference Publication | IEEE Xplore