The OCP - an open middleware solution for embedded systems. - James L. Paunicka; Brian R. Mendel; David E. Corman (ACC, 2001)

Verifying really complex systems: on earth and beyond. - Andreas Kuehlmann; Anjan Bose; David E. Corman; Rob A. Rutenbar; Robert M. Manning; Anna Newman (DAC, 2008)