  FlexRay is a communication protocol developed by the FlexRay Consortium. The
core members of the Consortium are Freescale Semiconductor, Robert Bosch GmbH,
NXP Semiconductors, BMW, Volkswagen, Daimler, and General Motors, and the
protocol was respectively oriented towards embedded systems in the automotive
domain. This paper presents a formal specification of the FlexRay protocol
using the FocusST framework. This work extends our previous research of formal
specifications of this protocol using Focus formal language.
