Case Studies in Using a Meta-Method for Formal Method Integration - Research Database, The University of York Other