Advances In Design And Specification Languages For Socs by Pierre Boulet