A hardware/software codesign methodology and workbench for predictable development of hard real-time systems | IEEE Conference Publication | IEEE Xplore