Center for Embedded and Cyber-physical Systems University of California, Irvine
by Jens Palsberg, Purdue University March 15, 2002
