Timed Ethernet: Real-Time Formal Specification of Ethernet. - Henri B. Weinberg; Lenore D. Zuck (CONCUR, 1992)

Hybrid I/O Automata. - Nancy A. Lynch; Roberto Segala; Frits W. Vaandrager; Henri B. Weinberg (Hybrid Systems, 1995)

Verification of Automated Vehicle Protection Systems. - Henri B. Weinberg; Nancy A. Lynch; Norman M. Delisle (Hybrid Systems, 1995)

Correctness of vehicle control systems-a case study. - Henri B. Weinberg; Nancy A. Lynch (RTSS, 1996)