INTRODUCTION TO STATECHARTS MODELING, SIMULATION, TESTING, AND DEPLOYMENT | IEEE Conference Publication | IEEE Xplore