Distributed reactive systems are hard to synthesize | IEEE Conference Publication | IEEE Xplore