Non-functional Constraints Annotation to Real-Time Embedded System Design | IEEE Conference Publication | IEEE Xplore