The algorithm of a synthesis technique for concurrent systems | IEEE Conference Publication | IEEE Xplore