A replica of Citizen Quartz watch based on Harel’s paper introducing statecharts