FAST(Family-Oriented Abstraction, Specification, and Translation)