A fast timing verification method based on the independence of units. - Tomohiro Yoneda; Kazutoshi Nakade; Yoshihiro Tohma (FTCS, 1989)