Specy: Learning Specifications for Distributed Systems from Event Traces [pdf]