A syntactic model to design and verify synthetic genetic constructs derived from standard biological parts. - Yizhi Cai; Brian Hartnett; Claes Gustafsson; Jean Peccoud (Bioinform., 2007)