Ford Flash Tune Datalog Refinement : Stratified Automotive Controls