Software-Reliability Modeling: The Case for Deterministic Behavior | IEEE Journals & Magazine | IEEE Xplore