Targeting different abstraction layers by model-based design methods for embedded systems: A case study.