Save-IDE - A tool for design, analysis and implementation of component-based embedded systems