Sudhanwa Kholgade, Jamie White, Hassan Reza. Comparing the Specification of a Near-Real Time Commanding System Using Statecharts and AADL. In Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2-4 April 2007, Las Vegas, Nevada, USA. pages 355-360, IEEE Computer Society, 2007. [doi]
Abstract is missing.