Identifying silent failures of SaaS services using finite state machine based invariant analysis | IEEE Conference Publication | IEEE Xplore