A Bus Instrumentation Protocol Specified in LOTOS