A design and modeling methodology for performance evaluation in real-time, distributed software systems | IEEE Conference Publication | IEEE Xplore