system SynthesizedModel;
signal ANSWER;
signal QUESTION;
block SynthesizedModel_block;
signalroute R1
  from S to A with ANSWER;
  from A to S with QUESTION;

process S referenced;
process A referenced;
endblock SynthesizedModel_block;
endsystem SynthesizedModel;

process S;
  signalset QUESTION;
  start;
    nextstate START_1;
  state START_1;
    input QUESTION;
    output ANSWER via R1;
    nextstate START_1;
    save *;
endprocess;

process A;
  signalset ANSWER;
  start;
    join START_1;
  state ASK_0;
    input ANSWER;
    join START_1;
    save *;
  connection START_1:
    output QUESTION via R1;
    nextstate ASK_0;
endprocess;