Flexible simulation of distributed protocols for mobile computing