Task level behavioral hardware description. - L. P. M. Benders; M. P. J. Stevens (Microprocessing and Microprogramming, 1991)

Task level specification and communication. - L. P. M. Benders; M. P. J. Stevens (Microprocess. Microprogramming, 1992)

TL: A system specification system. - L. P. M. Benders; M. P. J. Stevens (Microprocess. Microprogramming, 1993)

Analysis of real-time embedded systems for co-design. - L. P. M. Benders (RSP, 1995)

TL: A System-Level Specification Language for System Analysis. - L. P. M. Benders (ECBS, 1996)