Alessandro Bianchi Stefano Coluccini Pierpaolo Degano Corrado Priami An Efficient Verifier of Truly Concurrent Properties. 36-50 1995 conf/pact/1995 PaCT db/conf/pact/pact1995.html#BianchiCDP95