Christian Bunse Hans-Gerhard Groß Unifying Hardware and Software Components for Embedded System Development. 120-136 2004 conf/dagstuhl/2004trust Architecting Systems with Trustworthy Components http://dx.doi.org/10.1007/11786160_7 db/conf/dagstuhl/trust2004.html#BunseG04