Performance and Soundness of Simulation: A Case Study Based on a Cellular Automaton for In-Body Spread of HIV | IEEE Conference Publication | IEEE Xplore