The DSPNexpress 2.000 performance and dependability modeling environment | IEEE Conference Publication | IEEE Xplore