Building a new CTL model checker using Web services | IEEE Conference Publication | IEEE Xplore