plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/tools/xSAP/examples/tfpg/smt/mapping.map

SYS_DEAD SYS_DEAD
S1_WO S1_WO
B1_DEAD B1_DEAD
B1_LOW B1_LOW
G1_DEAD G1_DEAD
G1_OFF G1_OFF
S1_OFF S1_OFF
S2_WO S2_WO
B2_DEAD B2_DEAD
B2_LOW B2_LOW
G2_DEAD G2_DEAD
G2_OFF G2_OFF
S2_OFF S2_OFF