example build pipeline for formal models