Real and Virtual Clinical Trials: A Formal Analysis