Sebastian Fischmeister Insup Lee Robert Trausmuth Hardware acceleration for verifiable, adaptive real-time communication. 1425-1432 2008 ETFA http://dx.doi.org/10.1109/ETFA.2008.4638584 conf/etfa/2008 db/conf/etfa/etfa2008.html#FischmeisterLT08