A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models | IEEE Journals & Magazine | IEEE Xplore