Text this: Theoretical model of passive mode-locking in terahertz quantum cascade lasers with distributed saturable absorbers