Assertion: message | /r/HasProperty | received into the one buffer
Facets:
Source sentences:
text: The receive buffers are arranged in a FIFO structure, and a message can be received into the one buffer while the microcontroller is reading the information from the other buffer.