Timing Verification in Transaction Modeling by Alena Tsikhanovich