Advances in Design and Specification Languages for SoCs ed by Pierre Boulet - Berlin Springer - Lecture Notes in Computer Science . Dewey Class. No.: 621.392 /