Analysing the Safety of a Software Development Process. - Stephen Paynter; Bob W. Born (SAFECOMP, 2002)