A three-view model for performance engineering of concurrent software | IEEE Journals & Magazine | IEEE Xplore