The automatic generation of bus-interface models | IEEE Conference Publication | IEEE Xplore