Real-Time Computing Laboratory, Department of Electrical Engineering and Computer Science, The University of Michigan