Object oriented system analysis for VLSI. - Yun-Chao Hu; Ad Verschueren; M. P. J. Stevens (Microprocessing and Microprogramming, 1991)

A Calculus for Mobile Network Systems. - Jinfeng Huang; Ad Verschueren; Henri Aalderink; Johan J. Lukkien (ICFEM, 2002)