Applications of the implicitly constrained synthesis technique | IEEE Conference Publication | IEEE Xplore