not sure if this is what you meant, but Tony had some recommended reading here! https://clojurians.slack.com/archives/C68M60S4F/p1678078835438359?thread_ts=1677978153.676759&cid=C68M60S4F

Thanks, that one is definitely on the "mandatory reading" list. I guess what I'm looking for are real-world examples of SCs as server-side decision machines in an event-processing context. In the related world of bpmn (love it or hate it 😅) there are the https://methodandstyle.com/bpmn-method-and-style/ that are more about the design aspects rather than the technical specs. I'd be very interested in reading material regarding SCs in the same vein. So far, for me the appeal of SCs over bpmn-like solutions is that they represent a more "first principles" building block, rather than the more "complected" approach of the typical bpmn solutions where event-queueing, process DSL, and such are bundled into one monolithic solution. Being more "first principles" requires a bit more effort by the adopter in tying all the pieces together. I'll keep an eye out for interesting resources and post them here.

Another one by Harel himself about the history of statecharts: https://www.wisdom.weizmann.ac.il/~harel/papers/Statecharts.History.pdf

Harel's book from the 90s: https://www.wisdom.weizmann.ac.il/~/dharel/STM.Book/