Evaluation of Test Criteria for Space Application Software Modeling in Statecharts | IEEE Conference Publication | IEEE Xplore