SLA-verifier: Stateful and quantitative verification for service chaining | IEEE Conference Publication | IEEE Xplore