DynaStar: Optimized Dynamic Partitioning for Scalable State Machine Replication | IEEE Conference Publication | IEEE Xplore