Inverse relations

[ .. ] → kbdef:hasDerivative → Action refinement in conformance testing / Machiel van der Bijl, Arend Rensink, Jan Tretmans