Software Design for Real-time Systems, J. E. Cooling

Software Design Methods for Concurrent and Real-Time Systems (Sei Series in Soft

Taking Software Design Seriously: Practical Techniques for Human-Computer Intera

Algebraic Specification Techniques and Tools for Software Development: The ACT A

Design of Hardware/Software: Embedded Systems, Eugenio Villar Bonet

[(Taking Software Design Seriously : Practical Techniques for Human/Computer Int

DSP Software Development Techniques for Embedded and Real-Time Systems (Embedded

Software System Design Methods: The Challenge of Advanced Computing Technology,