Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers.