Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator | IEEE Conference Publication | IEEE Xplore