{
  "jani-version": 1,
  "name": "Security/KSA22/KSA22_3.imi",
  "type": "sha",
  "features": [
    "derived-operators",
    "arrays",
    "datatypes",
    "functions"
  ],
  "datatypes": [
    {
      "name": "binary_word",
      "members": [
        {
          "name": "elements",
          "type": {
            "kind": "array",
            "base": "bool"
          }
        }
      ]
    }
  ],
  "functions": [],
  "actions": [
    {
      "name": "presenceSensor_presence_Evt_1"
    },
    {
      "name": "lock_lock_1_UnlockItWhenIArrive0_1"
    },
    {
      "name": "lock_lock_1_Lockitataspecifictime0_4"
    },
    {
      "name": "lock_lock_1_Lockitataspecifictime0_7"
    },
    {
      "name": "lock_lock_Evt_1"
    },
    {
      "name": "push_msg_UnlockItWhenIArrive0_0"
    },
    {
      "name": "push_msg_Lockitataspecifictime0_0"
    },
    {
      "name": "send_sms_Lockitataspecifictime0_1"
    },
    {
      "name": "push_msg_Lockitataspecifictime0_2"
    },
    {
      "name": "send_sms_Lockitataspecifictime0_3"
    },
    {
      "name": "push_msg_Lockitataspecifictime0_5"
    },
    {
      "name": "send_sms_Lockitataspecifictime0_6"
    },
    {
      "name": "badstate"
    }
  ],
  "variables": [
    {
      "name": "presenceSensor_presence_1_sensor_clk",
      "type": "clock",
      "initial-value": 0
    },
    {
      "name": "lock_lock_1_sensor_clk",
      "type": "clock",
      "initial-value": 0
    },
    {
      "name": "schedule_clock",
      "type": "clock",
      "initial-value": 0
    },
    {
      "name": "timer_lock_lock_1",
      "type": "clock",
      "initial-value": 0
    },
    {
      "name": "presenceSensor_presence_1",
      "type": "real",
      "initial-value": 0
    },
    {
      "name": "lock_lock_1",
      "type": "real",
      "initial-value": 0
    },
    {
      "name": "r2_0",
      "type": "real",
      "initial-value": 0
    },
    {
      "name": "lock_1_size",
      "type": "real",
      "initial-value": 1
    },
    {
      "name": "anyLocked_2_0_0",
      "type": "real",
      "initial-value": 0
    },
    {
      "name": "contactSensor_contact_1",
      "type": "real",
      "initial-value": 0
    },
    {
      "name": "delta",
      "type": "real",
      "initial-value": 120
    },
    {
      "name": "contactSensor_1",
      "type": "real",
      "initial-value": 1
    },
    {
      "name": "time_14",
      "type": "real"
    },
    {
      "name": "sendPushMessage_14",
      "type": "real"
    },
    {
      "name": "phone_14",
      "type": "real"
    }
  ],
  "properties": [],
  "automata": [
    {
      "name": "presenceSensor_presence_Dev_1",
      "locations": [
        {
          "name": "mode0"
        }
      ],
      "initial-locations": [
        "mode0"
      ],
      "edges": [
        {
          "location": "mode0",
          "action": "presenceSensor_presence_Evt_1",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "presenceSensor_presence_1_sensor_clk",
              "right": 0
            }
          },
          "destinations": [
            {
              "location": "mode0",
              "assignments": [
                {
                  "ref": "presenceSensor_presence_1",
                  "value": 89
                },
                {
                  "ref": "presenceSensor_presence_1_sensor_clk",
                  "value": 0
                }
              ]
            }
          ]
        },
        {
          "location": "mode0",
          "action": "presenceSensor_presence_Evt_1",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "presenceSensor_presence_1_sensor_clk",
              "right": 0
            }
          },
          "destinations": [
            {
              "location": "mode0",
              "assignments": [
                {
                  "ref": "presenceSensor_presence_1",
                  "value": 88
                },
                {
                  "ref": "presenceSensor_presence_1_sensor_clk",
                  "value": 0
                }
              ]
            }
          ]
        }
      ]
    },
    {
      "name": "lock_lock_Dev_1",
      "locations": [
        {
          "name": "mode0"
        },
        {
          "name": "mode1"
        },
        {
          "name": "mode2"
        }
      ],
      "initial-locations": [
        "mode0"
      ],
      "edges": [
        {
          "location": "mode0",
          "action": "lock_lock_Evt_1",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "lock_lock_1_sensor_clk",
              "right": 0
            }
          },
          "destinations": [
            {
              "location": "mode1",
              "assignments": [
                {
                  "ref": "lock_lock_1",
                  "value": 129
                },
                {
                  "ref": "lock_lock_1_sensor_clk",
                  "value": 0
                }
              ]
            }
          ]
        },
        {
          "location": "mode0",
          "action": "lock_lock_Evt_1",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "lock_lock_1_sensor_clk",
              "right": 0
            }
          },
          "destinations": [
            {
              "location": "mode1",
              "assignments": [
                {
                  "ref": "lock_lock_1",
                  "value": 128
                },
                {
                  "ref": "lock_lock_1_sensor_clk",
                  "value": 0
                }
              ]
            }
          ]
        },
        {
          "location": "mode0",
          "action": "lock_lock_Evt_1",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "lock_lock_1_sensor_clk",
              "right": 0
            }
          },
          "destinations": [
            {
              "location": "mode1",
              "assignments": [
                {
                  "ref": "lock_lock_1",
                  "value": 127
                },
                {
                  "ref": "lock_lock_1_sensor_clk",
                  "value": 0
                }
              ]
            }
          ]
        },
        {
          "location": "mode0",
          "action": "lock_lock_Evt_1",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "lock_lock_1_sensor_clk",
              "right": 0
            }
          },
          "destinations": [
            {
              "location": "mode1",
              "assignments": [
                {
                  "ref": "lock_lock_1",
                  "value": 126
                },
                {
                  "ref": "lock_lock_1_sensor_clk",
                  "value": 0
                }
              ]
            }
          ]
        },
        {
          "location": "mode1",
          "action": "lock_lock_1_UnlockItWhenIArrive0_1",
          "destinations": [
            {
              "location": "mode2"
            }
          ]
        },
        {
          "location": "mode1",
          "action": "lock_lock_1_Lockitataspecifictime0_4",
          "destinations": [
            {
              "location": "mode2"
            }
          ]
        },
        {
          "location": "mode1",
          "action": "lock_lock_1_Lockitataspecifictime0_7",
          "destinations": [
            {
              "location": "mode2"
            }
          ]
        },
        {
          "location": "mode2",
          "action": "lock_lock_Evt_1",
          "destinations": [
            {
              "location": "mode1"
            }
          ]
        }
      ]
    },
    {
      "name": "UnlockItWhenIArrive0",
      "locations": [
        {
          "name": "mode0"
        },
        {
          "name": "mode1"
        },
        {
          "name": "mode2"
        },
        {
          "name": "mode3"
        },
        {
          "name": "mode4"
        },
        {
          "name": "mode5"
        }
      ],
      "initial-locations": [
        "mode0"
      ],
      "edges": [
        {
          "location": "mode0",
          "action": "presenceSensor_presence_Evt_1",
          "destinations": [
            {
              "location": "mode1"
            }
          ]
        },
        {
          "location": "mode1",
          "action": "nosync_1",
          "guard": {
            "exp": {
              "op": "=",
              "left": "presenceSensor_presence_1",
              "right": 88
            }
          },
          "destinations": [
            {
              "location": "mode2"
            }
          ]
        },
        {
          "location": "mode1",
          "action": "nosync_2",
          "guard": {
            "exp": {
              "op": "<",
              "left": "presenceSensor_presence_1",
              "right": 88
            }
          },
          "destinations": [
            {
              "location": "mode0"
            }
          ]
        },
        {
          "location": "mode1",
          "action": "nosync_3",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "presenceSensor_presence_1",
              "right": 88
            }
          },
          "destinations": [
            {
              "location": "mode0"
            }
          ]
        },
        {
          "location": "mode2",
          "action": "nosync_4",
          "guard": {
            "exp": {
              "op": "=",
              "left": "lock_lock_1",
              "right": 128
            }
          },
          "destinations": [
            {
              "location": "mode3",
              "assignments": [
                {
                  "ref": "r2_0",
                  "value": 1
                }
              ]
            }
          ]
        },
        {
          "location": "mode2",
          "action": "nosync_5",
          "guard": {
            "exp": {
              "op": "<",
              "left": "lock_lock_1",
              "right": 128
            }
          },
          "destinations": [
            {
              "location": "mode3",
              "assignments": [
                {
                  "ref": "r2_0",
                  "value": 0
                }
              ]
            }
          ]
        },
        {
          "location": "mode2",
          "action": "nosync_6",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "lock_lock_1",
              "right": 128
            }
          },
          "destinations": [
            {
              "location": "mode3",
              "assignments": [
                {
                  "ref": "r2_0",
                  "value": 0
                }
              ]
            }
          ]
        },
        {
          "location": "mode3",
          "action": "nosync_7",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "r2_0",
              "right": "lock_1_size"
            }
          },
          "destinations": [
            {
              "location": "mode4",
              "assignments": [
                {
                  "ref": "anyLocked_2_0_0",
                  "value": 1
                }
              ]
            }
          ]
        },
        {
          "location": "mode3",
          "action": "nosync_8",
          "guard": {
            "exp": {
              "op": "<",
              "left": "r2_0",
              "right": "lock_1_size"
            }
          },
          "destinations": [
            {
              "location": "mode4",
              "assignments": [
                {
                  "ref": "anyLocked_2_0_0",
                  "value": 1
                }
              ]
            }
          ]
        },
        {
          "location": "mode3",
          "action": "nosync_9",
          "guard": {
            "exp": {
              "op": "=",
              "left": "r2_0",
              "right": "lock_1_size"
            }
          },
          "destinations": [
            {
              "location": "mode4",
              "assignments": [
                {
                  "ref": "anyLocked_2_0_0",
                  "value": 0
                }
              ]
            }
          ]
        },
        {
          "location": "mode4",
          "action": "push_msg_UnlockItWhenIArrive0_0",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "anyLocked_2_0_0",
              "right": 0
            }
          },
          "destinations": [
            {
              "location": "mode5"
            }
          ]
        },
        {
          "location": "mode4",
          "action": "nosync_10",
          "guard": {
            "exp": {
              "op": "≤",
              "left": "anyLocked_2_0_0",
              "right": 0
            }
          },
          "destinations": [
            {
              "location": "mode0"
            }
          ]
        },
        {
          "location": "mode5",
          "action": "lock_lock_1_UnlockItWhenIArrive0_1",
          "destinations": [
            {
              "location": "mode0",
              "assignments": [
                {
                  "ref": "lock_lock_1",
                  "value": 128
                }
              ]
            }
          ]
        }
      ]
    },
    {
      "name": "Lockitataspecifictime0",
      "locations": [
        {
          "name": "mode0",
          "time-progress": {
            "exp": {
              "op": ">",
              "left": "time_14",
              "right": "schedule_clock"
            }
          }
        },
        {
          "name": "mode1"
        },
        {
          "name": "mode2"
        },
        {
          "name": "mode3"
        },
        {
          "name": "mode4"
        },
        {
          "name": "mode5"
        },
        {
          "name": "mode6"
        },
        {
          "name": "mode7"
        },
        {
          "name": "mode8"
        },
        {
          "name": "mode9"
        },
        {
          "name": "mode10"
        },
        {
          "name": "mode11"
        },
        {
          "name": "mode12"
        },
        {
          "name": "mode13"
        }
      ],
      "initial-locations": [
        "mode0"
      ],
      "edges": [
        {
          "location": "mode0",
          "action": "nosync_11",
          "guard": {
            "exp": {
              "op": ">",
              "left": "schedule_clock",
              "right": "time_14"
            }
          },
          "destinations": [
            {
              "location": "mode1"
            }
          ]
        },
        {
          "location": "mode1",
          "action": "nosync_12",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "contactSensor_1",
              "right": 0
            }
          },
          "destinations": [
            {
              "location": "mode2"
            }
          ]
        },
        {
          "location": "mode1",
          "action": "nosync_13",
          "guard": {
            "exp": {
              "op": "≤",
              "left": "contactSensor_1",
              "right": 0
            }
          },
          "destinations": [
            {
              "location": "mode10"
            }
          ]
        },
        {
          "location": "mode2",
          "action": "nosync_14",
          "guard": {
            "exp": {
              "op": "=",
              "left": "contactSensor_contact_1",
              "right": 39
            }
          },
          "destinations": [
            {
              "location": "mode3"
            }
          ]
        },
        {
          "location": "mode2",
          "action": "nosync_15",
          "guard": {
            "exp": {
              "op": "<",
              "left": "contactSensor_contact_1",
              "right": 39
            }
          },
          "destinations": [
            {
              "location": "mode6"
            }
          ]
        },
        {
          "location": "mode2",
          "action": "nosync_16",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "contactSensor_contact_1",
              "right": 39
            }
          },
          "destinations": [
            {
              "location": "mode6"
            }
          ]
        },
        {
          "location": "mode3",
          "action": "push_msg_Lockitataspecifictime0_0",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "sendPushMessage_14",
              "right": 0
            }
          },
          "destinations": [
            {
              "location": "mode4"
            }
          ]
        },
        {
          "location": "mode3",
          "action": "nosync_17",
          "guard": {
            "exp": {
              "op": ">",
              "left": 0,
              "right": "sendPushMessage_14"
            }
          },
          "destinations": [
            {
              "location": "mode4"
            }
          ]
        },
        {
          "location": "mode4",
          "action": "send_sms_Lockitataspecifictime0_1",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "phone_14",
              "right": 0
            }
          },
          "destinations": [
            {
              "location": "mode5"
            }
          ]
        },
        {
          "location": "mode4",
          "action": "nosync_18",
          "guard": {
            "exp": {
              "op": ">",
              "left": 0,
              "right": "phone_14"
            }
          },
          "destinations": [
            {
              "location": "mode5"
            }
          ]
        },
        {
          "location": "mode5",
          "action": "nosync_19",
          "destinations": [
            {
              "location": "mode9"
            }
          ]
        },
        {
          "location": "mode6",
          "action": "push_msg_Lockitataspecifictime0_2",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "sendPushMessage_14",
              "right": 0
            }
          },
          "destinations": [
            {
              "location": "mode7"
            }
          ]
        },
        {
          "location": "mode6",
          "action": "nosync_20",
          "guard": {
            "exp": {
              "op": ">",
              "left": 0,
              "right": "sendPushMessage_14"
            }
          },
          "destinations": [
            {
              "location": "mode7"
            }
          ]
        },
        {
          "location": "mode7",
          "action": "send_sms_Lockitataspecifictime0_3",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "phone_14",
              "right": 0
            }
          },
          "destinations": [
            {
              "location": "mode8"
            }
          ]
        },
        {
          "location": "mode7",
          "action": "nosync_21",
          "guard": {
            "exp": {
              "op": ">",
              "left": 0,
              "right": "phone_14"
            }
          },
          "destinations": [
            {
              "location": "mode8"
            }
          ]
        },
        {
          "location": "mode8",
          "action": "lock_lock_1_Lockitataspecifictime0_4",
          "destinations": [
            {
              "location": "mode9",
              "assignments": [
                {
                  "ref": "lock_lock_1",
                  "value": 127
                }
              ]
            }
          ]
        },
        {
          "location": "mode9",
          "action": "nosync_22",
          "destinations": [
            {
              "location": "mode13"
            }
          ]
        },
        {
          "location": "mode10",
          "action": "push_msg_Lockitataspecifictime0_5",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "sendPushMessage_14",
              "right": 0
            }
          },
          "destinations": [
            {
              "location": "mode11"
            }
          ]
        },
        {
          "location": "mode10",
          "action": "nosync_23",
          "guard": {
            "exp": {
              "op": ">",
              "left": 0,
              "right": "sendPushMessage_14"
            }
          },
          "destinations": [
            {
              "location": "mode11"
            }
          ]
        },
        {
          "location": "mode11",
          "action": "send_sms_Lockitataspecifictime0_6",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "phone_14",
              "right": 0
            }
          },
          "destinations": [
            {
              "location": "mode12"
            }
          ]
        },
        {
          "location": "mode11",
          "action": "nosync_24",
          "guard": {
            "exp": {
              "op": ">",
              "left": 0,
              "right": "phone_14"
            }
          },
          "destinations": [
            {
              "location": "mode12"
            }
          ]
        },
        {
          "location": "mode12",
          "action": "lock_lock_1_Lockitataspecifictime0_7",
          "destinations": [
            {
              "location": "mode13",
              "assignments": [
                {
                  "ref": "lock_lock_1",
                  "value": 127
                }
              ]
            }
          ]
        }
      ]
    },
    {
      "name": "unlock_deadline_lock",
      "locations": [
        {
          "name": "mode0"
        },
        {
          "name": "mode1"
        },
        {
          "name": "mode2",
          "time-progress": {
            "exp": {
              "op": ">",
              "left": "delta",
              "right": "timer_lock_lock_1"
            }
          }
        },
        {
          "name": "mode3"
        },
        {
          "name": "conflict"
        }
      ],
      "initial-locations": [
        "mode0"
      ],
      "edges": [
        {
          "location": "mode0",
          "action": "lock_lock_1_UnlockItWhenIArrive0_1",
          "destinations": [
            {
              "location": "mode1"
            }
          ]
        },
        {
          "location": "mode0",
          "action": "lock_lock_1_Lockitataspecifictime0_4",
          "destinations": [
            {
              "location": "mode1"
            }
          ]
        },
        {
          "location": "mode0",
          "action": "lock_lock_1_Lockitataspecifictime0_7",
          "destinations": [
            {
              "location": "mode1"
            }
          ]
        },
        {
          "location": "mode0",
          "action": "lock_lock_Evt_1",
          "destinations": [
            {
              "location": "mode1"
            }
          ]
        },
        {
          "location": "mode1",
          "action": "nosync_25",
          "guard": {
            "exp": {
              "op": "=",
              "left": "lock_lock_1",
              "right": 128
            }
          },
          "destinations": [
            {
              "location": "mode2",
              "assignments": [
                {
                  "ref": "timer_lock_lock_1",
                  "value": 0
                }
              ]
            }
          ]
        },
        {
          "location": "mode1",
          "action": "nosync_26",
          "guard": {
            "exp": {
              "op": "<",
              "left": "lock_lock_1",
              "right": 128
            }
          },
          "destinations": [
            {
              "location": "mode0"
            }
          ]
        },
        {
          "location": "mode1",
          "action": "nosync_27",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "lock_lock_1",
              "right": 128
            }
          },
          "destinations": [
            {
              "location": "mode0"
            }
          ]
        },
        {
          "location": "mode2",
          "action": "badstate",
          "guard": {
            "exp": {
              "op": ">",
              "left": "timer_lock_lock_1",
              "right": "delta"
            }
          },
          "destinations": [
            {
              "location": "conflict"
            }
          ]
        },
        {
          "location": "mode2",
          "action": "lock_lock_1_UnlockItWhenIArrive0_1",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "delta",
              "right": "timer_lock_lock_1"
            }
          },
          "destinations": [
            {
              "location": "mode3"
            }
          ]
        },
        {
          "location": "mode2",
          "action": "lock_lock_1_Lockitataspecifictime0_4",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "delta",
              "right": "timer_lock_lock_1"
            }
          },
          "destinations": [
            {
              "location": "mode3"
            }
          ]
        },
        {
          "location": "mode2",
          "action": "lock_lock_1_Lockitataspecifictime0_7",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "delta",
              "right": "timer_lock_lock_1"
            }
          },
          "destinations": [
            {
              "location": "mode3"
            }
          ]
        },
        {
          "location": "mode2",
          "action": "lock_lock_Evt_1",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "delta",
              "right": "timer_lock_lock_1"
            }
          },
          "destinations": [
            {
              "location": "mode3"
            }
          ]
        },
        {
          "location": "mode3",
          "action": "nosync_28",
          "guard": {
            "exp": {
              "op": "=",
              "left": "lock_lock_1",
              "right": 128
            }
          },
          "destinations": [
            {
              "location": "mode2"
            }
          ]
        },
        {
          "location": "mode3",
          "action": "nosync_29",
          "guard": {
            "exp": {
              "op": "<",
              "left": "lock_lock_1",
              "right": 128
            }
          },
          "destinations": [
            {
              "location": "mode0"
            }
          ]
        },
        {
          "location": "mode3",
          "action": "nosync_30",
          "guard": {
            "exp": {
              "op": "≥",
              "left": "lock_lock_1",
              "right": 128
            }
          },
          "destinations": [
            {
              "location": "mode0"
            }
          ]
        }
      ]
    }
  ],
  "system": {
    "elements": [
      {
        "automaton": "presenceSensor_presence_Dev_1"
      },
      {
        "automaton": "lock_lock_Dev_1"
      },
      {
        "automaton": "UnlockItWhenIArrive0"
      },
      {
        "automaton": "Lockitataspecifictime0"
      },
      {
        "automaton": "unlock_deadline_lock"
      }
    ],
    "syncs": [
      {
        "synchronise": [
          "presenceSensor_presence_Evt_1",
          null,
          "presenceSensor_presence_Evt_1",
          null,
          null
        ],
        "result": "presenceSensor_presence_Evt_1"
      },
      {
        "synchronise": [
          null,
          "lock_lock_1_UnlockItWhenIArrive0_1",
          "lock_lock_1_UnlockItWhenIArrive0_1",
          null,
          "lock_lock_1_UnlockItWhenIArrive0_1"
        ],
        "result": "lock_lock_1_UnlockItWhenIArrive0_1"
      },
      {
        "synchronise": [
          null,
          "lock_lock_1_Lockitataspecifictime0_4",
          null,
          "lock_lock_1_Lockitataspecifictime0_4",
          "lock_lock_1_Lockitataspecifictime0_4"
        ],
        "result": "lock_lock_1_Lockitataspecifictime0_4"
      },
      {
        "synchronise": [
          null,
          "lock_lock_1_Lockitataspecifictime0_7",
          null,
          "lock_lock_1_Lockitataspecifictime0_7",
          "lock_lock_1_Lockitataspecifictime0_7"
        ],
        "result": "lock_lock_1_Lockitataspecifictime0_7"
      },
      {
        "synchronise": [
          null,
          "lock_lock_Evt_1",
          null,
          null,
          "lock_lock_Evt_1"
        ],
        "result": "lock_lock_Evt_1"
      },
      {
        "synchronise": [
          null,
          null,
          "push_msg_UnlockItWhenIArrive0_0",
          null,
          null
        ],
        "result": "push_msg_UnlockItWhenIArrive0_0"
      },
      {
        "synchronise": [
          null,
          null,
          null,
          "push_msg_Lockitataspecifictime0_0",
          null
        ],
        "result": "push_msg_Lockitataspecifictime0_0"
      },
      {
        "synchronise": [
          null,
          null,
          null,
          "send_sms_Lockitataspecifictime0_1",
          null
        ],
        "result": "send_sms_Lockitataspecifictime0_1"
      },
      {
        "synchronise": [
          null,
          null,
          null,
          "push_msg_Lockitataspecifictime0_2",
          null
        ],
        "result": "push_msg_Lockitataspecifictime0_2"
      },
      {
        "synchronise": [
          null,
          null,
          null,
          "send_sms_Lockitataspecifictime0_3",
          null
        ],
        "result": "send_sms_Lockitataspecifictime0_3"
      },
      {
        "synchronise": [
          null,
          null,
          null,
          "push_msg_Lockitataspecifictime0_5",
          null
        ],
        "result": "push_msg_Lockitataspecifictime0_5"
      },
      {
        "synchronise": [
          null,
          null,
          null,
          "send_sms_Lockitataspecifictime0_6",
          null
        ],
        "result": "send_sms_Lockitataspecifictime0_6"
      },
      {
        "synchronise": [
          null,
          null,
          null,
          null,
          "badstate"
        ],
        "result": "badstate"
      }
    ]
  }
}