Symbolic State Space Exploration of RT Systems in the Cloud | IEEE Conference Publication | IEEE Xplore