@VHLayout
scchart ABO {
  input output bool A;
  input output bool B;
  output bool O1;
  output bool O2;
  region:
  
  initial state Init
  --> WaitAB immediate with / O1 = false; O2 = false;
  state WaitAB {
    region HandleA:
    initial state WaitA
    --> DoneA  immediate with A / B = true; O1 = true;
    final state DoneA;
    region HandleB:
    initial state WaitB
    --> DoneB with B / O1 = true;
    final state DoneB;
  }
  >-> GotAB with / O1 = false; O2 = true;
  state GotAB;
}