Specification Verification and Controller Synthesis Using (γ, δ)-Similarity | IEEE Conference Publication | IEEE Xplore