Knowledge-Based Integration Between Virtual and Physical Prototyping for Identifying Behavioral Constraints of Embedded Real-Time Systems | IEEE Journals & Magazine | IEEE Xplore