VATPA: a simulation environment for message-passing concurrent systems | IEEE Conference Publication | IEEE Xplore