private def modes
private def timeZone
private String mode
+ private String name
private List contacts
private List phoneNumbers
def sendEvent
this.phoneNumbers = [9495379373]
this.sendEvent = sendEvent
this.timeZone = TimeZone.getTimeZone("America/New_York")
+ this.name = "hub0"
}
//By Model Checker