The RCBus is an extended version of the RC2014TM bus, designed to overcome the limitations of the RC2014TM bus. The bus extensions and formal specification have been developed by members of the ret…