Describir: ELIMINATING CONCURRENCY BUGS WITH CONTROL ENGINEERING.