A Bottom Up Approach to Model Based Program Validation. - Thomas Calder; Yngve Lamo (FlexMDE@MoDELS, 2016)