Trustworthy software systems. - Bernstein, Larry (Software engineering notes.)