A performance modeling methodology for multiple processor systems - Pulkkis, G. (TKK, 1982)