An in silico method to identify computer-based protocols worthy of clinical study: An insulin infusion protocol use case. (30th July 2015)