Deakstadieđáhus: Process simulation using WITNESS /