@InProceedings{SLR08b:IS,
	author = {C. Seidner and J.-P. Lerat and O. H. Roux},
	title  ={Formal Verification in System Design Process: from {EFFBDs} to {P}etri nets},
	year = {2008},
	month = jun,
	booktitle = {$18^{th}$ International Symposium of the INCOSE},
	address = {Utrecht, Netherlands},
	organization = {International Council on Systems Engineering}
}