a tool for GR(1) synthesis and related activities