in D. Harel's 1987 paper, in figures 19 & 20, he describes a notational method for making state transitions in AND-parallel states where the transition (fig-19: beta(G)) is conditioned on the state of the adjacent sub-state-machine. Is there a best practices recommendation for implementing this same functionality with qstatemachine? There does not seem to be a direct method for this.

thanks