SAL-Based Symbolic Scheduling in Time-Triggered Networks.

Sebastian Voss Maria Sorea Klaus Echtle SAL-Based Symbolic Scheduling in Time-Triggered Networks. 200-214 2009 IFM http://dx.doi.org/10.1007/978-3-642-00255-7_14 conf/ifm/2009 db/conf/ifm/ifm2009.html#VossSE09