Comparing the Specification of a Near-Real Time Commanding System Using Statecharts and AADL | IEEE Conference Publication | IEEE Xplore