Modeling buffers with data refresh semantics in automotive architectures