Object-oriented Specification Approach for Synthesis of Hardware-/Software Systems