Design And Safety Assessment Of Critical Systems by Marco Bozzano, Adolfo Villafiorita & Bozzano Marco