Semi-automated checking for regulatory compliance in e-Health