Design Tools <--------------------------------------> Analysis Tools Design Tools <--> PMs <- PBAMs -> ABBs <--> SMMs <--> Analysis Tools