Timing Verification in Transaction Modeling door Alena Tsikhanovich