industrial applications of formal methods to model, design and analyze computer systems

craigen, dan · william andrew publishing