Edward A. Lee Cyber-Physical Systems, embedded software, modeling and design of systems, real-time and concurrent system, theory of current systems Division of Electrical Engineering/EECS