Correlating Logical and Physical Models for Early Performance Validation - An Experience Report | Synapse