Semi-automated checking for regulatory compliance in e-Health - Livio Robaldo (IEEE, 2021)