Turret: A Platform for Automated Attack Finding in Unmodified Distributed System Implementations | IEEE Conference Publication | IEEE Xplore