Refinement in hybridised institutions - Madeira, Alexandre (2014)