@inproceedings{DAC-2009-ZengZNGGS,
	author        = "Haibo Zeng and Wei Zheng and Marco Di Natale and Arkadeb Ghosal and Paolo Giusto and Alberto L. Sangiovanni-Vincentelli",
	booktitle     = "{Proceedings of the 46th Design Automation Conference}",
	doi           = "10.1145/1629911.1630133",
	isbn          = "978-1-60558-497-3",
	pages         = "874--877",
	publisher     = "{ACM}",
	title         = "{Scheduling the FlexRay bus using optimization techniques}",
	year          = 2009,
}