Comparing the Specification of a Near-Real Time Commanding System Using Statecharts and AADL. - Sudhanwa Kholgade; Jamie White; Hassan Reza (ITNG, 2007)