% SLA-ECA
eca(eventIntervalEveryMinute(), checkBetterBillingservice(), notAvailable(BETTERBILLINGBACKUPSERVICE), informAdmin()).

eventIntervalEveryMinute() :- sysTime(T) , interval(timespan(0, 0, 1, 0), T).
notAvailable(BETTERBILLINGBACKUPSERVICE) :- sysTime(T) , holdsAt(available(BETTERBILLINGBACKUPSERVICE), T) , fail().
informAdmin() :- println(["Service not available"]).
checkBetterBillingservice().
