Specification and design methodology for real-time embedded systems

Randall S. Janka. Specification and design methodology for real-time embedded systems. Kluwer, 2002.

Abstract

Abstract is missing.