@InProceedings{SLR10:IS,
	author = {C. Seidner and J.-P. Lerat and O. H. Roux},
	title  ={Simulation and Verification of [Dys]functional Behavior Models: Model Checking for SE},
	year = {2010},
	month = jul,
	booktitle = {$20^{th}$ International Symposium of the INCOSE},
	address = {Chicago, IL, USA},
	organization = {International Council on Systems Engineering},
	note = {To be published}
}