UML-based Specifications of an Embedded System oriented to HW/SW partitioning: a case study