Automatic verification of health regulatory compliance in cloud computing | IEEE Conference Publication | IEEE Xplore