Introducing CPU load Analysis from AADL Models for ROS applications : a use case | IEEE Conference Publication | IEEE Xplore