@InProceedings{SLR07:IS,
	author = {C. Seidner and J.-P. Lerat and O. H. Roux},
	title  ={Usability of formal verification on {EFFBD} models: Applying {P}etri nets to {S}ystems {E}ngineering issues},
	year = {2007},
	month = jun,
	booktitle = {$17^{th}$ International Symposium of the INCOSE},
	address = {San Diego, CA, USA},
	organization = {International Council on Systems Engineering}
}