Concurrent Specification and Timing Analysis of Digital Hardware Using SDL. - Kenneth J. Turner; F. Javier Argul-Marin; Stephen D. Laing (IPDPS Workshops, 2000)