Pierre Jacques Courtois1937BooksDecomposabilityJustifying the dependability of computer-based systemsMathematical computer performance and reliabilityAuthor data: Open Library