Safety Critical Systems: A Practical Guide : A Practical Guide Papini, Mario L. 9781394232062 Innbundet Engelsk Forventes utgitt