@inproceedings{STC06,
title = {A Memory-Optimal Buffering Protocol for Preservation of Synchronous Semantics under Preemptive Scheduling },
author = {Sofronis, Christos and Tripakis, Stavros and Caspi, Paul},
year = {2006},
booktitle = {6th Intl. Conf. on Embedded Software (EMSOFT'06)},
publisher = {ACM},
team = {SYNC},
}
