A case study in simulating PCS networks using Time Warp · Study