DistrictBuilder: Open Source Collaborative Redistricting
Logical Reliability of Interacting Real-Time Tasks