Targeting different abstraction layers by model-based design methods for embedded systems: A case study | IEEE Conference Publication | IEEE Xplore