Communicating StateCharts (CSC). - Sheida Emdadi; W. Spencer Smith; Christopher Kumar Anand (ITiCSE (2), 2025)