Using RTOS in the AAA methodology automatic executive generation | IEEE Conference Publication | IEEE Xplore