@InProceedings{SLR08a:CSER,
	author = {C. Seidner and J.-P. Lerat and O. H. Roux},
	title  ={Behavior Diagrams Model-Checking: Formal Methods Applied to {S}ystems {E}ngineering and Design},
	year = {2008},
	month = apr,
	booktitle = {$6^{th}$ Annual Conference on Systems Engineering Research},
	address = {Los Angeles, CA, USA},
	organization = {University of Southern California}
}