Specification components: reusability at the HW/SW system specification level | Publicación