Simulation and Verification of Networked & Distributed Applications