The process specification language (PSL) theory and applications | Synapse