System design using an integrated specification and performance modeling methodology | IEEE Conference Publication | IEEE Xplore