Action refinement in conformance testing / Machiel van der Bijl, Arend Rensink, Jan Tretmans
Action refinement in conformance testing