FME'96: Industrial Benefit and Advances in Formal Methods | Publicación