Model-Based HW/SW Co-Design Methodology for UAV Systems Development | IEEE Conference Publication | IEEE Xplore