Embedded system design: modeling synthesis and verification - Gajski, Daniel D. (New Delhi : Springer, 1994)
Keywords: Applied physics