Roman, Ambler, Jewell, & Marinescu, 2002) so we diverted him to focus on legacy analysis and the formalization of contract models with the relevant groups.