@inproceedings{rauzy1998formalverification,
author	=	{Antoine Rauzy},
title	=	{A Tutorial Introduction to Formal Verification and its Application to Dependability Analyses},
booktitle	=	{Proceedings of European Safety and Reliability Association Conference, ESREL'98},
editor	=	{Lydersen and Hansen and Sandtorv},
publisher	=	{Balkerna, Rotterdam},
isbn	=	{90-54-10-966-1},
pages	=	{1237--1242},
year	=	{1998}
}