John A. Stankovic and Kirthi Ramamritham, "Hard Real-Time Systems," IEEE Computer Society Press.

G.D. Micheli, W. Wolf, R. Ernst, “Readings in Hardware/Software Co-Design,” Morgan Kaufman.

S.A. Edwards, “Languages for Digital Embedded Systems,” Kluwer, 2000.

Bruce Douglass, "Real-Time UML - Developing Efficient Objects for Embedded Systems," Addison-Wesley, 1998.

Hermann Kopetz, "Real-Time Systems : Design Principles for Distributed Embedded Applications," Kluwer, 1997.

Hassan Gomaa, "Software Design Methods for Concurrent and Real-Time Systems," Addison-Wesley, 1993.

P. Lapsley, J. Bier, A. Shoham, and E.A. Lee, “DSP Processor Fundamentals: Architectures and Features,” Berkeley Design technology Inc,, 2001.

R. Gupta, "Co-synthesis of Hardware & Software for Embedded Systems," Kluwer, 1995.

Felice Balarin, Massimiliano Chiodo, and Paolo Giusto, "Hardware-Software Co-Design of Embedded Systems : The Polis Approach," Kluwer, 1997.

Jean J. Labrosse, "Embedded Systems Building Blocks : Complete And Ready To Use Modules In C ," R&D Publishing, 1995.

Jean J. Labrosse, "uC / OS : The Real Time Kernel," R&D Publishing, 1992.

Berkeley Design technology, Inc.: http://www.bdti.com

EE Times Magazine: http://www.eet.com/

Linux Devices: http://www.linuxdevices.com

Embedded Linux Journal: http://embedded.linuxjournal.com

Embedded.com: http://www.embedded.com/

Embedded Systems Programming magazine

Circuit Cellar: http://www.circuitcellar.com/

Electronic Design Magazine: http://www.planetee.com/ed/

Electronic Engineering Magazine: http://www2.computeroemonline.com/magazine.html

Integrated System Design Magazine: http://www.isdmag.com/

Sensors Magazine: http://www.sensorsmag.com

Embedded Systems Tutorial: http://www.learn-c.com/

Collections of embedded systems resources

http://www.ece.utexas.edu/~bevans/courses/ee382c/resources/

http://www.ece.utexas.edu/~bevans/courses/realtime/resources.html

Newsgroups

comp.arch.embedded, comp.cad.cadence, comp.cad.synthesis, comp.dsp, comp.realtime, comp.software-eng, comp.speech, and sci.electronics.cad

Alberto Sangiovanni-Vincentelli @ Berkeley

EE 249: Design of Embedded Systems: Models, Validation, and Synthesis http://www-cad.eecs.berkeley.edu/~polis/class/index.html

Brian Evans @ U.T. Austin

EE382C-9 Embedded Software Systems http://www.ece.utexas.edu/~bevans/courses/ee382c/index.html

Edward Lee @ Berkeley

EE290N: Specification and Modeling of Reactive Real-Time Systems http://ptolemy.eecs.berkeley.edu/~eal/ee290n/index.html

Rajesh Gupta @ UCI

	ICS 212: Introduction to Embedded Computer Systems http://www.ics.uci.edu/~rgupta/ics212.html
	ICS 213: Software for Embedded Systems http://www.ics.uci.edu/~rgupta/ics213.html

ACM/IEE DAC

IEEE ICCAD

IEEE RTSS

ACM ISLPED

IEEE VLSI SP Workshop

Many others…

ACM Transactions on Design Automation of Electronic Systems

IEEE Transactions on Computer-Aided Design

IEEE Transactions on VLSI Design

IEEE Design and Test of Computers

IEEE Transactions on Computers

Journal of Computer and Software Engineering

Journal on Embedded Systems

Many others…