The PEDAS design representation for performance engineering of distributed systems | IEEE Conference Publication | IEEE Xplore