But if those (timing) models are incorporated into current proprietary synthesis systems, can't they be reverse engineered with relative ease, anyway?