Bargmann, H.2005-09-142005-09-142005-09-141999https://infoscience.epfl.ch/handle/20.500.14299/216399Specification of Algorithms for Reliability Designtext::report