Specification-based testing with linear temporal logic | IEEE Conference Publication | IEEE Xplore