RTDT: a static QoS manager, RT scheduling, HW/SW partitioning CAD tool | IEEE Conference Publication | IEEE Xplore