illustration 4 illustrates the correct way to control two tasks writing to one global variable (or to rim's b output, which is a global variable), the solution task state machine name is: