//Insert declarations of global clocks, variables, constants and channels. const a 1; const b 2; process P{ //Insert local declarations of clocks, variables and constants. state S1; init S1; trans S1 -> S1{guard a(b); }; } //Insert process assignments. //Edit system definition. system P;