SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability | IEEE Conference Publication | IEEE Xplore