A Modeling Environment for Reified Temporal-Causal Networks