Formal Domain Engineering: From Specification to Validation - Atif Mashkook (2011)