An automated tool for specification validation: design and preliminary implementation | IEEE Conference Publication | IEEE Xplore