But there should be some generic way to model them, like timing differences of which transistor or gate is responsible for setup and hold time in D flip flop. To my understanding, in the NAND gate based D flip flop the setup time is equivalent to delay of one inverter and two NAND gates, and the hold time is equivalent to one inverter delay.