@InProceedings{Sei08:JDOC,
	author = {C. Seidner},
	title  ={Model checking for {S}ystems {E}ngineering: From {EFFBDs} to time {P}etri nets},
	year = {2008},
	month = apr,
	booktitle = {$8^e$ journ\'e des Doctorants J-DOC 2008},
	address = {Nantes, France},
	organization = {\'Ecole Doctorale STIM}
}