Egon Börger Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems. 225-241 2007 19 Formal Asp. Comput. 2 http://dx.doi.org/10.1007/s00165-006-0019-y db/journals/fac/fac19.html#Borger07