Action Refinement in Conformance Testing
2005 ◽
pp. 81-96
◽