stasis-aries-wal/doc/EECS-2010-2.pdf