Toward Correctness in the Specification and Handling of Non-Functional Attributes of High-Integrity Real-Time Embedded Systems | IEEE Journals & Magazine | IEEE Xplore