Specifying and Model Checking Workflows of Single Page Applications with TLA+ | IEEE Conference Publication | IEEE Xplore