Deterministic Scheduling with Pipelined Processors. - John L. Bruno; John W. Jones III; Kimming So (IEEE Trans. Computers, 1980)