HYBRID ZIA AND ITS APPROXIMATED REFINEMENT RELATION Topics: Formal Methods In Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 260-265, 2011 , Beijing, China