Follow us
The Leprechaun Book
Specification and Design of Embedded Systems