/papers/synthesis-of-infinite-state-systems-with-random/software-001488