Modeling a Multiprocessor Architecture. - Jean René Ménand; Monique Becker (IEEE Trans. Software Eng., 1983)